← Back to context

Comment by koolala

17 days ago

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?

  • 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.