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.

Yup it’s because they had to rewrite the drivers I presume. Always going to be the biggest issue with any new OS.