Kernel for MikeOS/IDL operating system