Operating Systems for Desktops and Servers

• Linux - Ubuntu DSL Debian Slackware SUSE openSUSE Fedora Core Red Hat Crux ROCK Linux Linux From Scratch Gentoo
• Minix 3
• Plan 9
• Darwin - GNU-Darwin
• FreeBSD
• OpenBSD
• NetBSD
• DragonflyBSD
• MirOS BSD
• MicroBSD
• ReactOS
• Haiku
• OpenSolaris
• UnixLite

Mini and Embedded Operating Systems

• FreeRTOS
• L4 - L4hq Fiasco L4Ka
• inferno
• Contiki

Experimental Operating Systems

• Nemesis
• HelenOS
• VSTa
• NachOS
• TINOS
• VINO

OS Development Resources

• Flux Research Group
• Research in Real-Time Systems at UNC