Redesigning my microkernel from the ground up | Dark Hacker News