4 ms·
Genode OS is a tool kit for building highly secure special-purpose OS
- wotsdat 9mo agoI misread Genode as genocide wonder if that's just me?
- deleted 9mo ago[deleted]
- nan60 9mo agoI did the same
- Lord_Zero 9mo agoSame
- squarefoot 9mo agoSame 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!
- bri3d 9mo agoAppears on HN with some frequency, last time 4 months ago: https://news.ycombinator.com/item?id=45384653 https://news.ycombinator.com/item?id=45384653 The “showcase” composition / implementation of Genode, Sculpt OS, is pretty fun to install and run.
- dang 9mo agoThanks! Macroexpanded: Genode OS Framework - https://news.ycombinator.com/item?id=45384653 https://news.ycombinator.com/item?id=45384653 - Sept 2025 (39 comments) Genode: FOSDEM 2024 Aftermath - https://news.ycombinator.com/item?id=39557993 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 https://news.ycombinator.com/item?id=38060698 - Oct 2023 (6 comments) Genode's Browser Odyssey (2022) - https://news.ycombinator.com/item?id=35206642 https://news.ycombinator.com/item?id=35206642 - March 2023 (11 comments) Genode OS Framework 22.08 - https://news.ycombinator.com/item?id=32671467 https://news.ycombinator.com/item?id=32671467 - Sept 2022 (2 comments) Genode OS Framework release 22.02 - https://news.ycombinator.com/item?id=30521093 https://news.ycombinator.com/item?id=30521093 - March 2022 (12 comments) Genode – Sculpt Operating System 21.10 - https://news.ycombinator.com/item?id=28889767 https://news.ycombinator.com/item?id=28889767 - Oct 2021 (12 comments) Genode Operating System Framework – General Overview - https://news.ycombinator.com/item?id=26441425 https://news.ycombinator.com/item?id=26441425 - March 2021 (1 comment) Genode OS Framework 20.11 - https://news.ycombinator.com/item?id=25236274 https://news.ycombinator.com/item?id=25236274 - Nov 2020 (3 comments) Genode OS Framework 19.05 - https://news.ycombinator.com/item?id=20038374 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 https://news.ycombinator.com/item?id=18962861 - Jan 2019 (31 comments) Genode – The microkernel approach (2008) - https://news.ycombinator.com/item?id=16084936 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 https://news.ycombinator.com/item?id=11854460 - June 2016 (3 comments) How Genode came to RISC-V - https://news.ycombinator.com/item?id=11369463 https://news.ycombinator.com/item?id=11369463 - March 2016 (19 comments) Genode – Operating System Framework - https://news.ycombinator.com/item?id=10139224 https://news.ycombinator.com/item?id=10139224 - Aug 2015 (23 comments)
- enricotr 9mo agoSo 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 9mo agoDROPS, The Dresden Real-Time Operating System Project -- https://os.inf.tu-dresden.de/drops/ https://os.inf.tu-dresden.de/drops/ QNX -- http://toastytech.com/guis/qnxdemo.html http://toastytech.com/guis/qnxdemo.html (or https://news.ycombinator.com/item?id=44856046 https://news.ycombinator.com/item?id=44856046)
- enricotr 9mo agoThanks, Sir.
- mikewarot 9mo agoI 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 9mo agoDoes this help? It‘s six years old though: https://youtu.be/4wKmpCrWSxI https://youtu.be/4wKmpCrWSxI
- cmiller1 9mo agoThe "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 https://genode.org/download/sculpt
- iamnothere 9mo ago> 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 9mo agoPublished on the group blog a year and a day ago: https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthroug...
- mycall 9mo agoAllow AI to create you new embedded operating system features. Since Genode is an OS framework, let some agents simplify your daily grind.
- bastawhiz 9mo agoHow's that going for Microsoft on Windows 11?
- Western0 9mo agointeresting please compile me for luxFox linux hardware or raspberry pi 2350
- MonkeyClub 9mo agoConsider yourself compiled /s
- cachius 9mo agoReminds 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 https://t2linux.com/about.html
- snvzz 9mo agoAn 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.
- rurban 9mo agoThey can use most L4-based microkernels, mostly their own, or NOVA or Fiasco. Secure capabilities are a feature of all L4 kernels.
- snvzz 9mo ago>They can use most L4-based microkernels, mostly their own, or NOVA or Fiasco. 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.
- rurban 9mo agoWho 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.
- snvzz 9mo ago>Who cares about formal guarantees 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.