A Microkernel OS made to satisfy my curiosity