Hacker News new | ask | show | jobs
Asterinas: A production-grade Linux-compatible alternative kernel (asterinas.github.io)
2 points by yankcrime 46 days ago