An Operating System based on MikeOS