Comment by 3eb7988a1663
16 days ago
That was also frustrating in that sel4 was right there. Why not invest efforts in the existing thing?
16 days ago
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.