Add Fedora as a separate OS