[BUG] Systemtap git master HEAD fails on Fedora 17 x86_64 (kernel 3.6.7)

[Frank Ch. Eigler]

agentzh <agentzh@gmail.com> writes:

> [...]
> Unfortunately, this command does not work for me it seems:
>
>     $ sudo yum reinstall kernel-devel
>     Loaded plugins: auto-update-debuginfo, changelog, langpacks,
> presto, refresh-packagekit
>     updates-debuginfo/17/x86_64/metalink
> [...]
>     Installed package kernel-devel-3.6.7-4.fc17.x86_64 (from updates)
> not available.
>     Error: Nothing to do

I think it means just that you're more than three versions behind the
current update of the kernel.  You could do a "yum -y update kernel\*",
or else find the exact kernel-devel version/arch/dist you need by 
searching through http://koji.fedoraproject.org/koji/packageinfo?packageID=8

- FChE