3 ms·
That was also frustrating in that sel4 was right there. Why not invest efforts in the existing thing?
by 3eb7988a1663 1y ago
That was also frustrating in that sel4 was right there. Why not invest efforts in the existing thing?
- loeg 1y agoThe 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.