3 ms·
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.
by redtriumph 3y ago
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.
- Palomides 3y agogenode 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!
- arp242 3y agoHow does the real-world performance compare to other systems like Linux, Windows, etc?
- sillywalk 3y ago"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 https://genode.org/download/sculpt
- pjmlp 3y agoHere is another one, "Raspberry Pi Pico with C++OS: Coroutines and std::execution in Embedded Systems" https://www.youtube.com/watch?v=Ft2Tf-E2DTc https://www.youtube.com/watch?v=Ft2Tf-E2DTc
- sillywalk 3y agoGoogle'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/cxx https://fuchsia.dev/fuchsia-src/development/languages/c-cpp/...