Budgie
TuxedoOSはBudgieデスクトップを搭載してビルドされている。
BudgieはArch Linuxのコミュニティレポジトリで利用可能であり、またArch User Repositryでもbudgie-desktop-gitとして配布されている。