Barebox vs Raspberry PI

Antony Pavlov antonynpavlov at
Mon Jan 25 14:25:25 PST 2016

On Mon, 25 Jan 2016 18:15:45 +0600
support at wrote:

Hi, Dmitriy!

> barebox-2016.01.0
> Raspberry PI B+
> It generates the following files:
>  - barebox
>  - barbox.bin
>  -
>  -
>  - barebox-flash-image -> barebox.bin
>   I tried replacing the kernel.img file with barebox.bin with no luck
>   How to run a barebox on a Raspberry PI ?

I have just successfully run barebox v2016.01.0 on my Raspberry Pi Model B+.

I have examinied your barebox.bin. Yes, I have no luck with your barebox.bin either.
Please check the differences of your .config and .config after ``make ARCH=arm rpi_defconfig``.

Here is my success story (based on Documentation/boards/bcm2835.rst, e.g.;a=blob;f=Documentation/boards/bcm2835.rst;h=13cebb01c471c9fa5124b8507546e8f7169c4380;hb=62c9a8c000996a2c82078d0ea0fa8315c7b34e0b).

1. Download NOOBS Lite (,
see INSTRUCTIONS-README.txt inside zip archive for detailed microSD-card installation instructions;
Check that your raspberry pi board succesfully starts 

You have to see this serial console output:

    Uncompressing Linux... done, booting the kernel

    Welcome to the rescue system
    recovery login:

2. Install ARM toolchain 

I have used Sourcery CodeBench arm-2014.05-29,

3. clone barebox repo, check out v2016.01.0 and compile

$ git clone git:// /tmp/barebox
$ cd /tmp/barebox
$ git checkout v2016.01.0
$ make ARCH=arm rpi_defconfig
$ make ARCH=arm CROSS_COMPILE=/opt/arm-2014.05/bin/arm-none-linux-gnueabi-

you will get barebox.bin file

4. Copy barebox.bin to the microSD card and name it recovery.img.

5. turn your Raspberry Pi on. You have to see something like this
in your Raspberry Pi serial console:

barebox 2016.01.0 #1 Tue Jan 26 00:50:43 MSK 2016

Board: RaspberryPi Model B+ (BCM2835/ARM1176JZF-S)
bcm2835-gpio bcm2835-gpio0: probed gpiochip0 with base 0
malloc space: 0x03c00000 -> 0x03ffffff (size 4 MiB)
bcm2835_mci bcm2835_mci0: registered as bcm2835_mci0
mci0: detected SD card version 2.0
mci0: registered disk0
environment load /boot/barebox.env: No such file or directory
Maybe you have to create the partition.
running /env/bin/init...

Hit any key to stop autoboot:  3
barebox at RaspberryPi Model B+ (BCM2835/ARM1176JZF-S):/

Best regards,
  Antony Pavlov

More information about the barebox mailing list