kernel-devel package

[Niels de Vos]

On Fri, Jun 15, 2012 at 2:59 PM, Gonzalo Odiard <gonzalo at laptop.org> wrote:
> 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?

Here: http://dev.laptop.org/~kernels/public_rpms/f17-xo1.75/

Cheers,
Niels