RavynOS: Pre-alpha open-source OS based on Darwin, FreeBSD, Apple open-source(ravynos.com)

216 points by Bluestein 1 month ago | 122 comments

RFC 9498: The GNU Name System(gnunet.org)

20 points by simjue 2 years ago | 1 comments

A QNX-inspired operating system with selectable kernels(qsoe.net)

34 points by edvinbesic 4 months ago | 4 comments

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

51 points by coolcoder613 1 year ago | 23 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.

Running SunOS 4 in QEMU (Sparc)(john-millikin.com)

98 points by zdw 3 years ago | 23 comments