Hacker News new | ask | show | jobs
by deterministic 24 days ago
If you are interested in this I highly recommend studying SeL4. A practical industrial proven correct micro kernel used by billions of devices worldwide.