The reviews I've seen of its stability and usefulness have not been good.

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

	▲	loeg 7 days ago \| parent [-]
		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.

tanvach 7 days ago | parent | prev [-]

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