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