MikonOS: Minimal microkernel for MIPS architecture