Genode OS is a tool kit for building highly secure special-purpose OS
(genode.org)112 points by doener 13 hours ago
112 points by doener 13 hours ago
The "this is how you use it as a daily driver" would be for the sub project called SculptOS, you can find details on that and how to set it up here: https://genode.org/download/sculpt
Published on the group blog a year and a day ago: https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthroug...
> If I can throw it on an inexpensive desktop, and the run Linux and Windows under it, and maybe do some Lazarus/Free pascal development, I'll be a happy camper.
It’s capable of this today. Be aware that VMs do have a noticeable performance impact, but on a powerful system they aren’t unusably slow.
Does this help? It‘s six years old though: https://youtu.be/4wKmpCrWSxI
It runs perfectly on refurbished Lenovo M910q tinies, with Kaby Lake Core i5-7500t or Core i7-7700t, 32GB Ram. But so does everything else.
Linux via their VirtualBox port works, usable with 32GB Ram. Didn't try Windows, though.
Thinking about it, the same should apply for most N150-based mini-pcs, because everything is intel inside. May have bad firmware/bios, though.
Appears on HN with some frequency, last time 4 months ago: https://news.ycombinator.com/item?id=45384653
The “showcase” composition / implementation of Genode, Sculpt OS, is pretty fun to install and run.
Thanks! Macroexpanded:
Genode OS Framework - https://news.ycombinator.com/item?id=45384653 - Sept 2025 (39 comments)
Genode: FOSDEM 2024 Aftermath - https://news.ycombinator.com/item?id=39557993 - March 2024 (2 comments)
Genode – Genode on seL4 – IPC and virtual memory - https://news.ycombinator.com/item?id=38060698 - Oct 2023 (6 comments)
Genode's Browser Odyssey (2022) - https://news.ycombinator.com/item?id=35206642 - March 2023 (11 comments)
Genode OS Framework 22.08 - https://news.ycombinator.com/item?id=32671467 - Sept 2022 (2 comments)
Genode OS Framework release 22.02 - https://news.ycombinator.com/item?id=30521093 - March 2022 (12 comments)
Genode – Sculpt Operating System 21.10 - https://news.ycombinator.com/item?id=28889767 - Oct 2021 (12 comments)
Genode Operating System Framework – General Overview - https://news.ycombinator.com/item?id=26441425 - March 2021 (1 comment)
Genode OS Framework 20.11 - https://news.ycombinator.com/item?id=25236274 - Nov 2020 (3 comments)
Genode OS Framework 19.05 - https://news.ycombinator.com/item?id=20038374 - May 2019 (20 comments)
Genode OS: A tool kit for highly secure special-purpose operating systems - https://news.ycombinator.com/item?id=18962861 - Jan 2019 (31 comments)
Genode – The microkernel approach (2008) - https://news.ycombinator.com/item?id=16084936 - Jan 2018 (1 comment)
Genode OS Framework 16.05 (with Rust support and 4.4.3 Linux drivers) - https://news.ycombinator.com/item?id=11854460 - June 2016 (3 comments)
How Genode came to RISC-V - https://news.ycombinator.com/item?id=11369463 - March 2016 (19 comments)
Genode – Operating System Framework - https://news.ycombinator.com/item?id=10139224 - Aug 2015 (23 comments)
Reminds me of T2 SDE:
a highly customizable and portable build system for creating complete Linux distributions from source. It serves as a robust toolkit for building everything from embedded platforms to full desktop systems
DROPS, The Dresden Real-Time Operating System Project -- https://os.inf.tu-dresden.de/drops/
QNX -- http://toastytech.com/guis/qnxdemo.html (or https://news.ycombinator.com/item?id=44856046)
I haven't seen the "This is how you use it as a daily driver" video yet. Maybe it's lack of google-fu on my part?
If I can throw it on an inexpensive desktop, and the run Linux and Windows under it, and maybe do some Lazarus/Free pascal development, I'll be a happy camper.