FRESH

Hacker News

Genode OS is a tool kit for building highly secure special-purpose OS

125 points by doener

by mikewarot

6 subcomments

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.

by bri3d

1 subcomments

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.

by enricotr

1 subcomments

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.

by cachius

0 subcomment

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

by snvzz

1 subcomments

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.

by wotsdat

4 subcomments

by Western0

1 subcomments