Comment by mech422

not sure if you've seen this... https://www.microkernel.info/ but it might be helpful :-D