Windows Research Kernel
This is interesting: Microsoft gives out the NT kernel source for academic, non-profit use. Too bad I don't have much time to play with it a bit; I've always been impressed by the very NT kernel (which is itself VMS-ish). More details here. A related project is ProjectOZ, a platform (simulator) for teaching principles of operating systems.