The Microkernel work is going rather well and perhaps it will be made available on some specific hardware after I get my hands on the hardware. For now I'm just playing around with the code.
There are existing Microkernels that are popular but I think I like this better. It's not my microkernel but it will be different than what it was. I have a weird idea and I don't know if I can get it to work.
If it works, I have performance and build quality estimates. Performance and build quality like a Lada or Yugo.