Fiasco.OC and qemu vexpress machine model
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Tue Apr 15 23:33:11 CEST 2014
On Tue Apr 15, 2014 at 17:26:36 +0200, Michele Paolino wrote:
> Hello Adam,
>
> On 14/04/2014 23:53, Adam Lackorzynski wrote:
> >Hi,
> >
> >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?
>
> Executing "make qemu O=../build PT=rv_vexpress_a15 E=hello" results in the
> following:
>
> Image size(s) in bytes:
> bootstrap_hello.elf: 917888
> Start address: 0x81000000
> --> Build-Nr: 2
> QEmu-cmd: qemu-system-arm -kernel
> /home/neonum6/l4re-core-2014022818/src/build/images/bootstrap.elf
> -nographic -M vexpress-a15 -m 256
>
>
> And soon after the log of the boot is exactly the one I posted before. I
> assume that what is in build/images/ is the right binary (bootstrap.elf is a
> symbolic link to
> build/pkg/bootstrap/server/src/OBJ-arm_armv7a/bootstrap.elf), should I check
> elsewhere?
I'd suspect that Fiasco could be wrongly configured, that's why I was
asking whether the build process picked up the right Fiasco image that
has been also configured for this target.
> ps: I tried to investigate about the status of the CPU registers using GDB,
> the info all-registers command returns always the same value for all the
> registers.
Please show them, they might tell me something :)
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list