Redesigning my microkernel from the ground up