An educational micro-kernel operating system