The architecture. I do not know any other examples of modular dynamic systems ba... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

snvzz on March 18, 2023 | parent | context | favorite | on: Genode's Browser Odyssey (2022)

The architecture. I do not know any other examples of modular dynamic systems based on capabilities.

Genode does it successfully, and the formally verified seL4 microkernel is one of the kernels they support.

The systems most of us use are now legacy, as Genode proves it can be done fundamentally better.

mappu on March 18, 2023 | [–]

Fuchsia/Zircon is the other notable one.

HURD and Plan 9 are one step in this direction but with less focus on capability-based security.

pixelfarmer on March 19, 2023 | [–]

https://en.wikipedia.org/wiki/Plessey_System_250

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact