MikonOS MikonOS: Minimal microkernel for MIPS architecture A microkernel for MIPS architecture Team Members: Alberti Michele, Cozza Giovanni, Pomili Luigi