I've found the problem. First, the default UART for zynq7000 is the
second one, so I need to run qemu like this:
qemu-system-arm -M xilinx-zynq-a9 -kernel
images/capdl-loader-experimental-image-arm-zynq7000 -m size=512M
-monitor none -nographic -serial /dev/null -serial stdio
Second, the Zynq7000 uart needs to be explicitly enabled. This is done
by clearing bit 5 and setting bit 4 of the control register. It looks
like seL4 and related tools are not doing this. For now I've done this
by modifying
tools/elfloader/src/arch-arm/plat-zynq7000/sys_fputc.c
to add
uint32_t v = *UART_REG(UART_CONTROL);
v |= (1 << 4);
v &= ~(1 << 5);
*UART_REG(UART_CONTROL) = v;
to the __fputc function.
This clearly isn't the right spot for it. Where should such initial
configuration be done?
-Andrew
On Tue, Dec 6, 2016 at 3:33 PM, Andrew Gacek <[email protected]> wrote:
> If I suspend the execution in QEMU, the program counter is at
> 0xe00108ec. In the kernel, that is the <idle_thread> method. So
> perhaps the system is running, but I'm just not able to see any output
> from the elfloader, kernel, etc.
>
> -Andrew
>
> On Tue, Dec 6, 2016 at 2:49 PM, Andrew Gacek <[email protected]> wrote:
>> Thanks Alex. That fixes the crash. Now the system runs but just seems
>> to hang without doing anything. I don't get any output at all (whereas
>> the kzm version spews out a ton of messages). In 'top' I can see it's
>> using about 3% cpu so it's something, though it's not clear what. It's
>> hard for me to tell. Perhaps the UART for the console isn't working
>> correctly?
>>
>> -Andrew
>>
>> On Tue, Dec 6, 2016 at 2:46 PM, <[email protected]> wrote:
>>> Hi Andrew,
>>>
>>> It could be because QEMU does not know how much RAM is available.
>>> Could you try adding "-m size=512M" to your arguments?
>>>
>>> - Alex
>>>
>>> ________________________________________
>>> From: Devel <[email protected]> on behalf of Andrew Gacek
>>> <[email protected]>
>>> Sent: Wednesday, December 7, 2016 2:23 AM
>>> To: [email protected]
>>> Subject: [seL4] seL4 on Zinq7000 on QEMU
>>>
>>> I'm trying to build and emulate a version of seL4 for the zinq7000
>>> platform, but it crashes immediately.
>>>
>>> I've started by taking the camkes tutorial and building it for zinq7000:
>>>
>>> repo init -u https://github.com/seL4/camkes-manifest.git
>>> repo sync
>>> make arm_simple_defconfig
>>> make menuconfig # change seL4 platform to zinq7000
>>> make
>>>
>>> When I try to emulate it, it crashes right away:
>>>
>>> qemu-system-arm -M xilinx-zynq-a9 -nographic -kernel
>>> images/capdl-loader-experimental-image-arm-zynq7000
>>>
>>> qemu: fatal: Trying to execute code outside RAM or ROM at 0x10000000
>>>
>>> R00=00000000 R01=00000000 R02=00000000 R03=00000000
>>> R04=00000000 R05=00000000 R06=00000000 R07=00000000
>>> R08=00000000 R09=00000000 R10=00000000 R11=00000000
>>> R12=00000000 R13=00000000 R14=00000000 R15=10000000
>>> PSR=400001d3 -Z-- A svc32
>>> s00=00000000 s01=00000000 d00=0000000000000000
>>> s02=00000000 s03=00000000 d01=0000000000000000
>>> s04=00000000 s05=00000000 d02=0000000000000000
>>> s06=00000000 s07=00000000 d03=0000000000000000
>>> s08=00000000 s09=00000000 d04=0000000000000000
>>> s10=00000000 s11=00000000 d05=0000000000000000
>>> s12=00000000 s13=00000000 d06=0000000000000000
>>> s14=00000000 s15=00000000 d07=0000000000000000
>>> s16=00000000 s17=00000000 d08=0000000000000000
>>> s18=00000000 s19=00000000 d09=0000000000000000
>>> s20=00000000 s21=00000000 d10=0000000000000000
>>> s22=00000000 s23=00000000 d11=0000000000000000
>>> s24=00000000 s25=00000000 d12=0000000000000000
>>> s26=00000000 s27=00000000 d13=0000000000000000
>>> s28=00000000 s29=00000000 d14=0000000000000000
>>> s30=00000000 s31=00000000 d15=0000000000000000
>>> s32=00000000 s33=00000000 d16=0000000000000000
>>> s34=00000000 s35=00000000 d17=0000000000000000
>>> s36=00000000 s37=00000000 d18=0000000000000000
>>> s38=00000000 s39=00000000 d19=0000000000000000
>>> s40=00000000 s41=00000000 d20=0000000000000000
>>> s42=00000000 s43=00000000 d21=0000000000000000
>>> s44=00000000 s45=00000000 d22=0000000000000000
>>> s46=00000000 s47=00000000 d23=0000000000000000
>>> s48=00000000 s49=00000000 d24=0000000000000000
>>> s50=00000000 s51=00000000 d25=0000000000000000
>>> s52=00000000 s53=00000000 d26=0000000000000000
>>> s54=00000000 s55=00000000 d27=0000000000000000
>>> s56=00000000 s57=00000000 d28=0000000000000000
>>> s58=00000000 s59=00000000 d29=0000000000000000
>>> s60=00000000 s61=00000000 d30=0000000000000000
>>> s62=00000000 s63=00000000 d31=0000000000000000
>>> FPSCR: 00000000
>>> Aborted
>>>
>>>
>>> Is there something I'm doing wrong?
>>>
>>> Thanks,
>>> Andrew
>>>
>>> _______________________________________________
>>> Devel mailing list
>>> [email protected]
>>> https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
