gobpf VS genode

This [1] makes me think gobpf uses C bindings to bcc, so golang does not compile to eBPF, bcc does.

[1] - https://github.com/iovisor/gobpf/tree/master/bcc

gobpf by iovisor which provides go bindings for the bcc framework as well as low-level routines to load and use eBPF programs from .elf files.

After Liedtke's passing, L4 research was continued in groups at UNSW (Gernot Heiser, formal verification -> SeL4) and TU Dresden (Hermann Haertig, Fiasco/L4Re, focusing on real-time and secure systems).

Genode (already mentioned in another comment) [1] came out of the TU Dresden group with some nice ideas around managing compartmentalized systems. Kernkonzept [2] is a startup commercializing the L4Re microkernel.

[1] https://genode.org/

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

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

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.

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.

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

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/

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/