Summary: The kernel-rt devel files for 3rdparty modules build

Description:
This package contains the kernel-devel files that should be enough to build
3rdparty drivers against for use with the kernel-rt-3.12.9-0.rt13.1.mga4.

If you want to build your own kernel, you need to install the full
kernel-rt-source-3.12.9-0.rt13.1.mga4 rpm.

URL: https://rt.wiki.kernel.org/
License: GPLv2

Maintainer: nobody