Stories by snvzz

Half of Linux Users Stick with X11, Despite Years of Wayland Being Forced

BebboSSH: SSH2 implementation for Amiga systems (68000, GPLv3)

LionsOS Firewall System (SeL4)

BoxLambda OS Software Architecture, First Draft

DeMoN II: Successor to the original DeMoN cart for the Amiga 500/+ computers

Sculpt Operating System 25.10

Google's Android developer registration requirement will kill F-Droid

Who ~Framed~ Created Pitman?

SeL4 Summit – Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video]

Trustworthy Systems R&D Update – Gernot Heiser, UNSW Sydney [video]

Nintendo locked down the Switch 2's USB-C port and broke third-party docking

EmuTOS v1.4 Released

Benchmarking Crimes Meet Formal Verification

Trinity Desktop Environment R14.1.4

Ambermoon Advanced

The SeL4 Microkernel: An Introduction [pdf]

Μ–Kernel.info

1
2
3
4
5
6
7
8
9