[HN Gopher] Genode OS is a tool kit for building highly secure s...
___________________________________________________________________
Genode OS is a tool kit for building highly secure special-purpose
OS
Author : doener
Score : 94 points
Date : 2026-01-31 18:03 UTC (4 hours ago)
(HTM) web link (genode.org)
(TXT) w3m dump (genode.org)
| wotsdat wrote:
| I misread Genode as genocide
|
| wonder if that's just me?
| bri3d wrote:
| 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.
| dang wrote:
| 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)
| enricotr wrote:
| 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.
| hackernudes wrote:
| 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)
| mikewarot wrote:
| 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.
| doener wrote:
| Does this help? It's six years old though:
| https://youtu.be/4wKmpCrWSxI
| cmiller1 wrote:
| 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
| iamnothere wrote:
| > 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.
| genodethrowaway wrote:
| Published on the group blog a year and a day ago:
| https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthroug...
| Western0 wrote:
| interesting please compile me for luxFox linux hardware or
| raspberry pi 2350
| MonkeyClub wrote:
| Consider yourself compiled /s
| cachius wrote:
| 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_
|
| https://t2linux.com/about.html
___________________________________________________________________
(page generated 2026-01-31 23:00 UTC)