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