kernelsource: kernel.org Linux sources kernelsource: kernelsource: The Linux kernel source is configured with support for most kernelsource: hardware. This source tree is ready to compile drivers. kernelsource: kernelsource: This kernel is patched for Real Time. kernelsource: kernelsource: kernelsource: kernelsource: