kernel-devel package

[Gonzalo Odiard]

I am trying to use stap to find the source of a ugly race condition,
can install it in xo-1.75 with os13, but when want execute it,
have the following error:

bash-4.2# stap --vp 1 -o ./output.log -t sugar.stp 506
Checking
"/lib/modules/3.0.19_xo1.75-20120606.1504.olpc.8d24ad5/build/.config"
failed with error: No such file or directory
Incorrect version or missing kernel-devel package, use: yum install
kernel-devel-3.0.19_xo1.75-20120606.1504.olpc.8d24ad5.armv7hl

Trying to install:

v7hh-4.2#  yum install
kernel-devel-3.0.19_xo1.75-20120606.1504.olpc.8d24ad5.arm
updates/metalink                                         | 4.3 kB     00:00

updates-testing/metalink                                 | 4.5 kB     00:00

No package kernel-devel-3.0.19_xo1.75-20120606.1504.olpc.8d24ad5.armv7h
available.
Error: Nothing to do

I know we have our custom kernel, but we publish a kernel-devel package too?
Where is it?

Gonzalo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.laptop.org/pipermail/devel/attachments/20120615/5107ddb0/attachment.html>