GNU (Ok, so technically "GNU's Not Unix" - it's done by unix literate people)

*BSD

Pure mach

Other microkernels