Issues with booting upstream kernel for Raspberry Pi B

Stephen Warren swarren at
Tue Sep 15 20:47:28 PDT 2015

On 09/14/2015 02:05 PM, Mahadevan Srinivasan wrote:
> 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?

Do you have a serial port hooked up? That might help you debug, along
with the following kernel command-line options:

earlyprintk loglevel=8 console=ttyAMA0

My zImage appears to be about 3.5MiB, so that looks right.

> Thanks,
> Mahadevan.
> ----------------------------------------
>> 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.

More information about the linux-rpi-kernel mailing list