It is also included as a standard desktop option on FreeBSD and in many other Linux distributions not listed above, including Antergos, Arch Linux, Debian, Ubuntu, openSUSE, Fedora, Kali, Korora, Linux Mint, Slackware, Mageia, OpenMandriva, Void Linux and Zorin OS. Kali Linux also uses Xfce as the desktop environment when running on the ARM platform. Debian makes a separate netinstall CD available that installs Xfce as the default desktop environment. In 2013, Debian briefly made it the default environment, replacing GNOME.