Genode Alternatives

genode reviews and mentions

• Snowdrop OS – a homebrew operating system from scratch, in assembly language
  3 projects | news.ycombinator.com | 24 Jan 2025

  Genode [1] has an interesting approach to OS design as it is a framework, but how much is assembly I don't know.

  [1] https://genode.org

• 16GB Raspberry Pi 5 on sale now at $120
  2 projects | news.ycombinator.com | 9 Jan 2025

  They are excellent. I have a few of these with Intel Core i5-7500t and Core i7-7700t (both 35W TDP), with either 65W or 90W powerbricks, each with 32GB and varying SSDs.

  Excellent because of the quality of their BIOS/Firmware. You can throw anything at them, and it just runs without errors.

  Even most exotic stuff like https://genode.org , not to speak of any BSD, Solaris-derivative, or some Linux.

  Suspend to RAM, and successfully waking up from that works every single time, without special setup, no matter where and what.

  Hibernation/Suspend to disk is up to you and the setup, but no problems there, either.

  Rock solid experience even with the 'most riced' kernels and userland by https://cachyos.org running Plasma/KDE on oh noez!* BTRFS!1!1!!

  If the number of ports and their speed is enough, they are good for homelabbing and even

• FreeBSD: How Can We Make It More Attractive to New Users?
  7 projects | news.ycombinator.com | 12 Oct 2024

  It really depends hard on the quality of the systems firmware, i.e. the BIOS/UEFI, no matter if laptop or desktop/thinclient.

  I recently got some obsolete/EOL thinkcenters for homelabbing fun. They do S3(suspend to RAM) with everything I've thrown at them. Even most exotic stuff like https://genode.org/ (though only running 'live' from the USB-Image that they offer, didn't install so far). FreeBSD did it, NetBSD did it, various Linux Distros did it, without exception. The one currently running does it, too, without having had to setup anything.

  Be it via the little power-button on the front, or some hot-key combination choosable from the UEFI, OR simply another hot-key delivered by the keyboard. In my case that blue thing between ALT-GR and right-CTRL+F12, then slapping any key afterwards turning back on. (might by undesirable if you have cats, kids, whatever)

  Anyways, WITHOUT exception! I did try this like mad, off'n on off'n on like a stroboscope, at least a 100 times.

• MikroPhone: A privacy enhanced, simple and featured RISC-V mobile phone
  1 project | news.ycombinator.com | 5 Oct 2024

  PinePhone development seems to be kicking along ok?

  Genode (a secure OS in development for years) seems to be working decently well with it:

  • https://genode.org

  • https://genodians.org/nfeske/2024-02-15-fosdem-aftermath

  ... though most people are running various Linux distros from what I remember.

• What runs L4-related microkernels/hypervisors these days?
  1 project | news.ycombinator.com | 16 Sep 2024

  This(1)(2) any good for ya?

  "Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. "

  1) https://genode.org/

  2) https://genode.org/download/sculpt

• Capability Based Security
  1 project | news.ycombinator.com | 19 Jul 2024

  If you want to avoid yet another few decade of incidents like today.... read up on this, and perhaps Genode[1] and HURD[2]. Get comfortable with at least one of them, and perhaps give it a try on some small project at work in a few years.

  [1] https://genode.org/

  [2] https://www.gnu.org/software/hurd/

• ExectOS – brand new operating system which derives from NT architecture
  11 projects | news.ycombinator.com | 19 Jun 2024

  Not him, but multiple such efforts (not necessarily matching your exact description) exist.

  LionsOS[0] is an effort by the seL4 foundation itself.

  Makatea[1] is trying to implement a Qubes-equivalent on a safer seL4 base.

  Genode[2] is an OS framework built around capabilities that supports several microkernels including seL4 itself.

  0. https://lionsos.org/

  1. https://trustworthy.systems/projects/makatea/

  2. https://genode.org/

• Firefox 127
  3 projects | news.ycombinator.com | 11 Jun 2024
• Design, Implementation and Evaluation of the SeL4 Device Driver Framework [pdf]
  1 project | news.ycombinator.com | 9 Apr 2024

  seL4 foundation members[0] are using it.

  There's Genode[1], which supports it among other kernels, offering a fancy desktop environment.

  However, efforts like this driver framework do help. There's also Makatea[2], an effort to implement a stronger Qubes-like system based on seL4.

  0. https://sel4.systems/Foundation/Membership/

  1. https://genode.org/

  2. https://trustworthy.systems/projects/makatea/

• eBPF Documentary
  7 projects | news.ycombinator.com | 10 Mar 2024
• A note from our sponsor - SaaSHub
  www.saashub.com | 21 Mar 2025

  SaaSHub helps you find the best software and product alternatives Learn more →