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.
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
> 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.
So good memories the day I obtained the floppy with Drops with dope. Awesomeness. One the same bunch, another floppy of a unixlike RT OS, which I cannot now recall the name to save my life...the then blackberry one.
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
An active, long-running project, more than 20 years now, Genode is amazing outright.
They actually managed to make a general-purpose OS (Sculpt) with an architecture centered around capabilities, and they can run such a system with seL4 as the microkernel, which guarantees capabilities cannot be forged.
Who cares about formal guarantees when the other kernels are much better and provide a much better infrastructure. The kernel itself is minimal. Fiasco can be real-time.
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.
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.
The “showcase” composition / implementation of Genode, Sculpt OS, is pretty fun to install and run.
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)
QNX -- http://toastytech.com/guis/qnxdemo.html (or https://news.ycombinator.com/item?id=44856046)
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
https://t2linux.com/about.html
They actually managed to make a general-purpose OS (Sculpt) with an architecture centered around capabilities, and they can run such a system with seL4 as the microkernel, which guarantees capabilities cannot be forged.
Correct, Genode supports several kernels, including but not limited to those.
>Secure capabilities are a feature of all L4 kernels.
Not accurate. Liedtke's L4 does not do capabilities.
It would be more accurate to say that most modern L4-like kernels do.
The highlight is seL4, specifically because it offers those formal guarantees while also being the fastest.
Projection. You might not care, but extrapolating is a mistake.
Public as well as private sector with high assurance needs have gathered around seL4 foundation due to its proofs and technical excellence.
>are much better
Subjective. What is your criteria?
>Fiasco can be real-time.
Depends on your definition of real-time.
Hard realtime requires guarantees that the deadlines will always be met. The only non-toy kernel that offers proof of WCET is seL4.
If soft realtime is all you need, then Linux with PREEMPT_RT suffices.
wonder if that's just me?