Summary: The kernel-devel files for kernel-desktop-3.12.9-1.mga4

Description:
This package contains the kernel files (headers and build tools)
that should be enough to build additional drivers for
use with kernel-desktop-3.12.9-1.mga4.

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

URL: http://www.kernel.org
License: GPLv2

Maintainer: nobody