A collection of open source operating system kernels.