Fail to run compiled ARM on Odroid Q2

Adam Lackorzynski adam at
Wed Dec 3 22:51:52 CET 2014

On Tue Dec 02, 2014 at 02:58:38 +0000, Zachary wrote:
> Adam Lackorzynski <adam <at>> writes:
> Hi,
> > 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?
> Thanks you for your response.
> I am sure the multi-processor option is enabled.
> I changed the execute model to "TrusteZone normal side", and I get more output:

I do not think that makes a particular difference in this case, it's
still the same issue. It's some tricky one. I'll cross check with one of
my 4412-based boards, however, no promises.

Adam                 adam at

More information about the l4-hackers mailing list