A stripped down version of MikeOS