undefined | Better HN

0 pointskoolala10mo ago0 comments

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

0 comments

2 comments · 2 top-level

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

tanvach10mo ago

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