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