В состав штатных репозиториев стабильного релиза Fedora 17 включены пакеты со последним выпуском проекта Cinnamon, в рамках которого развивается форк оболочки GNOME Shell и оконного менеджера Mutter, нацеленный на предоставление классического десктоп-окружения в стиле GNOME 2, но основанного на технологиях GNOME 3 и поддерживающего удачные элементы взаимодействия из GNOME Shell. Ранее, пакеты для Fedora можно было установить только с сайта Cinnamon.