[PlanetCCRMA] kernel source

[Tracey Hytry]

> The package you need is kernel-rt-devel (note the added "-rt")...
> -- Fernando

rpm is your friend

To list all installed kernels try:   rpm -qa kernel
To list all kernel-devel packages:   rpm -qa kernel-devel
And likewise, for Fernando's real-time patched kernels:
rpm -qa kernel-rt    and    rpm -qa kernel-rt-devel

Sometimes I even do:   rpm -qa kernel-doc  while I'm at it.

And sometimes I just like to check what I've put on my system and use:
rpm -qa --last | less

Tracey