rob+pi
Posts: 15
Joined: Fri Jan 11, 2013 12:17 am

what is stopping the kernel headers being packaged ?

Fri Jan 11, 2013 8:11 pm

A number of posts exist here and elsewhere regarding users needing to install the kernel headers.

In all the major binary distributions (that I can think of) there is always a friendly prepackaged set of kernel headers, usually for specific kernel versions.

What is stopping this happening for the Pi ?

Is there a technological hurdle stopping the standard kernel packaging scripts from also building the headers package ?
i.e. the raspberry pi serial number needs to be built-in from each machine.

What is stopping the community filling the gap and providing a package on an alternate distribution channel ?

If you came here wanting to obtain the kernel headers please read
http://www.raspberrypi.org/phpBB3/viewt ... 71&t=17666
with alternatives
http://mchr3k-arduino.blogspot.co.uk/20 ... gress.html
https://www.grendelman.net/wp/compiling ... pberry-pi/
note: in these links you are not rebuilding and installing a new kernel, simply building the headers files from the same version you are running.

chrisw2
Posts: 106
Joined: Sat Apr 07, 2012 11:22 am
Location: Manchester, UK

Re: what is stopping the kernel headers being packaged ?

Fri Jan 11, 2013 10:33 pm

See third post in this thread: http://www.raspberrypi.org/phpBB3/viewt ... 66&t=18727

The (non foundation) raspbian repos now have a 3.2.0 kernel packaged the "debian way" with a corresponding linux-headers-3.2.0-4-all meta-package for the headers.

I've not tried it yet (I think its only appeared very recently) but hopefully it will allow a raspbian system to be managed in an easier and more standard debian way.

I intend to try it as soon as I get a chance.

rob+pi
Posts: 15
Joined: Fri Jan 11, 2013 12:17 am

Re: what is stopping the kernel headers being packaged ?

Sat Jan 12, 2013 9:02 pm

that would be great news, but I just did an apt-get update and can see nothing related to kernel headers in the out put of

Code: Select all

apt-cache search header
can anyone confirm the package is in the main sources ?
maybe we need to add an additional repository ?

chrisw2
Posts: 106
Joined: Sat Apr 07, 2012 11:22 am
Location: Manchester, UK

Re: what is stopping the kernel headers being packaged ?

Sun Jan 13, 2013 5:50 pm

rob+pi wrote: ... can anyone confirm the package is in the main sources ?
...
Yes, linux-image-3.2.0-4-rpi and linux-headers-3.2.0.4-all are in the main raspbian (non-foundation) repo
eg: in /etc/apt/sources.list

Code: Select all

deb http://archive.raspbian.org/raspbian/ wheezy main contrib non-free rpi
I've installed both.

To boot with this kernel I needed to add these lines to config.txt

Code: Select all

# Set params for "raspbian debian-style kernel" boot
kernel=vmlinuz-3.2.0-4-rpi
initramfs initrd.img-3.2.0-4-rpi followkernel
plus comment our any previous "kernel=" lines

chrisw2
Posts: 106
Joined: Sat Apr 07, 2012 11:22 am
Location: Manchester, UK

Re: what is stopping the kernel headers being packaged ?

Sun Jan 13, 2013 6:24 pm

BTW

Code: Select all

apt-cache search 3.2.0-4
might make it easier to spot!

Or even better use synaptic (a nice GUI frontend to apt)

plugwash
Forum Moderator
Forum Moderator
Posts: 3737
Joined: Wed Dec 28, 2011 11:45 pm

Re: what is stopping the kernel headers being packaged ?

Sun Apr 07, 2013 2:15 am

BTW I just uploaded a 3.6 based debian style kernel -linux-image-3.6-trunk-rpi note that this has only been briefly tested. Also please ignore the version number, the package is based on debian's 3.6.9 kernel but it contains everything that is in the raspberry pi foundation kernel and not in upstream 3.6.9 as patches. So the patches include the changes from newer point releases of 3.6 as well as the changes from the raspberry pi foundaion.

Return to “Linux Kernel”