Issues with booting upstream kernel for Raspberry Pi B

[Mahadevan Srinivasan]

Hi,

I am trying to compile upstream kernel from kernel.org for Raspberry Pi. I followed the instructions from http://elinux.org/RPi_Upstream_Kernel_Compilation and http://elinux.org/RPi_Kernel_Compilation 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:

bcm2835-rpi-b.dtb -- From linux/arch/arm/boot/dts
boot.scr.uimg -- From u-boot/tools
bootcode.bin -- From https://github.com/raspberrypi/firmware/tree/master/boot
fixup.dat -- From https://github.com/raspberrypi/firmware/tree/master/boot
fixup_cd.dat -- From https://github.com/raspberrypi/firmware/tree/master/boot
kernel.img -- From u-boot/u-boot.bin
start.elf -- From https://github.com/raspberrypi/firmware/tree/master/boot
start_cd.elf -- From https://github.com/raspberrypi/firmware/tree/master/boot
zImage -- From linux/arch/arm/boot/zImage

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?

Thanks,
Mahadevan.