Ryujinx – Nintendo Switch Emulator archive site(ryujinx-emulator.com)

10 points by ChrisArchitect 2 years ago | 1 comments

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

51 points by coolcoder613 1 year ago | 23 comments

Amiga Unix (Amix)(amigaunix.com)

127 points by donatj 8 months ago | 54 comments

DSLinux – Linux for the Nintendo DS(dslinux.org)

273 points by AntiRush 3 years ago | 65 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.

LLVM-MOS – Clang LLVM fork targeting the 6502(llvm-mos.org)

132 points by jdmoreira 11 months ago | 59 comments