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.

Allow AI to create you new embedded operating system features. Since Genode is an OS framework, let some agents simplify your daily grind.

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)

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)

They can use most L4-based microkernels, mostly their own, or NOVA or Fiasco. Secure capabilities are a feature of all L4 kernels.

Same here, had to look the 3rd time to realize. It's sad what the current events can imprint in our brains. Screw this timeline, really!

I did the same

Same

Consider yourself compiled /s