undefined | Better HN

0 pointskoolala6mo ago0 comments

The reviews I've seen of its stability and usefulness have not been good.

0 comments

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

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

Yup it’s because they had to rewrite the drivers I presume. Always going to be the biggest issue with any new OS.

j / k navigate · click thread line to collapse

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

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

Yup it’s because they had to rewrite the drivers I presume. Always going to be the biggest issue with any new OS.

j / k navigate · click thread line to collapse