Flux OsKit is a bunch of drivers ripped out of OpenSource OS's like Linux and FreeBSD and gathered under a neat interface.

See OperatingSystemsImplementation, LispOs