«
Again, much of the design comes from seL4, but unlike seL4, we intend to build upon this kernel and develop a userspace as well. Each of the planned components is named after celestial bodies, getting further from the sun as they get higher-level:
Helios: the kernel
Mercury: low-level userspace services & service bus
Venus: real-world driver collection
Gaia: high-level programming environment
Ares: a complete operating system; package management, GUI, etc
A few other components are planned — "Vulcan" is the userspace kernel testing framework, named for the (now disproved) hypothetical planet between Mercury and the Sun, and "Luna" is the planned POSIX compatibility layer.
» sic.
"It is seldom that liberty of any kind is lost all at once." ― David Hume
# systémique et galactique
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Un microkernel en Hare par Drew DeVault. Évalué à 3.
«
Again, much of the design comes from seL4, but unlike seL4, we intend to build upon this kernel and develop a userspace as well. Each of the planned components is named after celestial bodies, getting further from the sun as they get higher-level:
A few other components are planned — "Vulcan" is the userspace kernel testing framework, named for the (now disproved) hypothetical planet between Mercury and the Sun, and "Luna" is the planned POSIX compatibility layer.
» sic.
"It is seldom that liberty of any kind is lost all at once." ― David Hume