That was also frustrating in that sel4 was right there. Why not invest efforts in the existing thing?

The microkernel core isn't the buggy/hard part; Fuscia's got a similar microkernel that also works great. It's everything else that's hard.