Collection of kernels for various PCs.