Comment by Arodex

Then you can try the existing microkernels (e.g. Minix) or a Rust microkernel (Redox). You already have what you wish for.