Issues with booting upstream kernel for Raspberry Pi B

Mahadevan Srinivasan mahadevans at
Mon Sep 14 14:05:17 PDT 2015

Hi Jannis,

I am using gcc. I obtained the compiler using macports by following the instructions in

port install arm-none-eabi-gcc
port install arm-none-eabi-binutils

This installs the compiler here: /opt/local/bin/

I mapped CCPREFIX to point to CCPREFIX=/opt/local/bin/arm-none-eabi-

For reference, my zImage is around 3.3 MB. Is that expected?


> Subject: Re: Issues with booting upstream kernel for Raspberry Pi B
> To: linux-rpi-kernel at
> From: jannis-lists at
> Date: Mon, 14 Sep 2015 21:12:42 +0200
> Am 14.09.2015 um 06:44 schrieb Mahadevan Srinivasan:
>> Hi,
>> I am trying to compile upstream kernel from for Raspberry Pi. I followed the instructions from and to do the compile. I am doing a cross-compile on a mac. Everything went through fine. I have these files in my boot partition of my SD card:
>> [...]
>> uboot comes up properly. But, bootup fails to go past the "Starting kernel" line. I am not sure how I can debug this. What should I look for next? Can somebody give some pointers?
> Hi Mahadevan,
> Are you using gcc or clang to compile the kernel? I'm asking because you
> said you're using a mac and using clang as kernel compiler might result
> in all sort of problems.
> Best regards,
> Jannis
> _______________________________________________
> linux-rpi-kernel mailing list
> linux-rpi-kernel at

More information about the linux-rpi-kernel mailing list