On: John Carmack's arguments against building a custom XR OS at Meta

[3eb7988a1663]

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

[loeg → 3eb7988a1663]

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.