Wikimedia Commons has media related to Operating system kernels.