3 ms·

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

• tanvach 1y ago
  Yup it’s because they had to rewrite the drivers I presume. Always going to be the biggest issue with any new OS.
• 3eb7988a1663 1y ago
  That was also frustrating in that sel4 was right there. Why not invest efforts in the existing thing?
  • loeg 1y ago
    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.