Fail to run compiled ARM on Odroid Q2

Adam Lackorzynski adam at
Tue Dec 2 00:45:14 CET 2014


On Mon Dec 01, 2014 at 02:46:46 +0000, Zachary wrote:
> I want to use fastboot to run the Hello demo of Fiasco on Odroid-Q2 board[1].
> However, I failed.
> Firstly, I use 
>     make fastboot_rawimage E=hello MODULE_SEARCH_PATH=...

This is the right variant.

> The UART output is:
> Starting download of 935936 bytes                                               
> downloading of 935936 bytes finished                                            
> Kernel size: 000e4000                                                           
> Ramdisk size: 00000000                                                          
> Booting raw image..                                                             
> Boot with zImage                                                                
> Wrong Ramdisk Image Format                                                      
> [err] boot_get_ramdisk                                                          
> Starting kernel ...                                                             
> Hello from Startup::stage2                                                      
> Per_cpu_data_alloc: (orig: 0xf0060ad0-0xf0061550)                               
> Number of IRQs available at this GIC: 160                                       
> FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl  
> KERNEL: Warning: No page-fault handler for 0xee202108, error 0x94000848, pc f004
> It is said the format is wrong, so I change to

It complains on the ramdisk image format but there is none.
fastboot_rawimage is the right one to use.
Looks like there's some issue here with a page-fault that should not
happen. I'm wondering how we could debug this. Is the multi-processor
option enabled in Fiasco?

Adam                 adam at

More information about the l4-hackers mailing list