Posts: 6
Joined: Wed Jul 18, 2012 3:33 pm

bootc kernel compiled for armhf

Thu Jul 19, 2012 8:54 pm


For everyone who want to play with bootc kernel in raspbian. (
A newer kernel version from the 3.2 branch with more modules and drivers enables.
I compiled a version with armhf support. ... 23+.tar.gz

I didn't create a debian package (i don't really have time to discover how that works) but installation is as simple as unpacking a tar.gz in the root of your filesystem.

first do this:

Code: Select all

sudo cp /boot/kernel.img /boot/kernel.img.bak
so you have a backup when you want to move back to the original kernel

Code: Select all

cd /
sudo tar zfxv /path/to/RPi_bootc_kernel_modules_armhf_3.2.23+.tar.gz
Or if you think this is unsafe you can always unpack it in some other directory ans copy the files manually.

I give full credit to bootc and his custom RPi kernel:
I only rebuild it with my optimized toolchain for armhf.

Posts: 1
Joined: Tue Jul 31, 2012 2:12 pm

Re: bootc kernel compiled for armhf

Tue Jul 31, 2012 6:09 pm

I'm trying to compile my kernel using bootc sources and the following command:

Code: Select all

make ARCH=arm CROSS_COMPILE=/usr/bin/arm-linux-gnueabihf- -k -j 3
I'm using your .config file (zcat /proc/config.gz > .config) to ensure I'm not choosing something wrong on menuconfig. Everything compiles ok, but when a put my kernel.img (modules and firmware to /lib) to my boot partition my Raspberry doesn't boots. Then I tried to compile my own toolchain with bootc's tutorial from thinking that my "arm-linux-gnueabihf" it would be the problem: ... pberry-pi/

But I get the following error when I run "make" after config ct-ng:

Code: Select all

Could not retrieve 'eglibc-2_15'
(seems that fails on getting this tarball)

Can you tell me how do you compile your ARMHF version, or where I can find a tutorial to make my own cross compiler? Your help is much appreciated.

Thanks in advance :)

PS: My firmware is updated to lastest version
PS2: I apologize for my English :P

Posts: 36
Joined: Fri Jun 01, 2012 6:54 pm

Re: bootc kernel compiled for armhf

Mon Aug 13, 2012 9:40 pm

hi wanted to try your kernel, but the download is dead...

Posts: 1
Joined: Tue Aug 14, 2012 11:06 pm

Re: bootc kernel compiled for armhf

Tue Aug 14, 2012 11:09 pm

I would also like to try this kernel, and found a 404 :(

I want both i2c and hardfloat, and am struggling to get a crosscompiler working.
I guess i'll have to compile on the Pi.. How many weeks will that take I wonder.

Return to “Raspberry Pi OS”