Contains projects related to MikeOS.