Hacker News
- Lions OS: secure – fast – adaptable https://trustworthy.systems/publications/papers/Heiser_24:eo.abstract 61 comments
- Design, Implementation and Evaluation of the SeL4 Device Driver Framework [pdf] https://trustworthy.systems/projects/drivers/sddf-design.pdf 3 comments
- Makatea: Qubes-Like OS on SeL4 https://trustworthy.systems/projects/TS/makatea 2 comments
Lobsters
- Virtualising Darwin on L4 (2007) https://trustworthy.systems/publications/theses_public/07/Root%3Abe.pdf 2 comments mac , osdev , pdf , virtualization
- Lions OS: secure – fast – adaptable https://trustworthy.systems/publications/papers/Heiser_24:eo.abstract 2 comments osdev , security
- Pancake: Verified Systems Programming Made Sweeter https://trustworthy.systems/publications/papers/Pohjola_STWSNUMSMNH_23.pdf 19 comments formalmethods , pdf , plt