Genode – Genode on seL4 – IPC and virtual memory

genode.org

61 points·whereistimbo··6 comments

Thanks for sharing this. I am always fascinated by projects that use C++ for low-level or OS stuff and some how, I've never come across this project.

genode is miserably under-hyped, it seems like the most practical, arguably even daily usable microkernel-based OS

running on seL4, which is arguably one of the great achievements in verified software, it's so conceptually interesting!

"Sculpt is an open-source general-purpose OS. It combines Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. "

[0] https://genode.org/download/sculpt

How does the real-world performance compare to other systems like Linux, Windows, etc?

Google's Fuchsia or at least parts of the Zircon kernel use C++. [0]

{ A subset of the C++17 language is used in the Zircon tree. This includes both the kernel and userspace code. C++ is mixed with C (and some assembly) in both places. Some C++ language features are avoided or prohibited. Use of the C++ standard library features is very circumspect.}

[0] https://fuchsia.dev/fuchsia-src/development/languages/c-cpp/...

Here is another one,

"Raspberry Pi Pico with C++OS: Coroutines and std::execution in Embedded Systems"

https://www.youtube.com/watch?v=Ft2Tf-E2DTc

Reply on news.ycombinator.com