title got me lol. curious about concrete scheduler and ipc choices though, those details are where microkernel projects either click or become pain fast.