Fiasco.OC and qemu vexpress machine model

Adam Lackorzynski adam at
Mon Apr 14 23:53:49 CEST 2014


On Mon Apr 14, 2014 at 11:35:25 +0200, Michele Paolino wrote:
> I'm trying to execute Fiasco.OC along with the hello module using qemu and
> the vexpress machine model. For both A9 and A15 cpus the system hangs at
> "Starting kernel fiasco". It seems that something (the UART driver?)
> prevents the system to log the kernel boot to the screen.
> I compiled the image using 'make qemu' in L4RE, and the vm is executed with
> the argument -nographic.
> Can you confirm this? Do you have any suggestion to solve it?
> Here below you can find the log of the A15 boot process:

Did you launch make qemu with PT=rv_vexpress_a15 and did the launch pick
up the right Fiasco binary, i.e. that one configured for vexpress-a15?

Adam                 adam at

More information about the l4-hackers mailing list