undefined | Better HN

0 points3eb7988a16638mo ago0 comments

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

0 comments

loeg8mo 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.

j / k navigate · click thread line to collapse

loeg8mo 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.

j / k navigate · click thread line to collapse