Tribblix – The Retro Illumos Distribution(tribblix.org)

86 points by bilegeek 1 year ago | 31 comments

Fiwix: Small Unix-Like Kernel(fiwix.org)

51 points by coolcoder613 1 year ago | 23 comments

Debian GNU/Hurd 2023(lists.gnu.org)

176 points by jrepinc 3 years ago | 111 comments

NixOS 26.05(nixos.org)

68 points by lostmsu 3 months ago | 47 comments

Commodore OS 3.0 Released(commodoreos.net)

24 points by BSDobelix 1 year ago | 1 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.