Re: [seL4] loading and booting seL4test on a zynq7000

Hi Joel, You could try changing the reported frequency of the UART reference clock: https://github.com/seL4/util_libs/blob/master/libplatsupport/src/mach/z ynq/serial.c#L20 Or you could skip the baudrate configuration step altogether: https://github.com/seL4/util_libs/blob/master/libplatsupport/src/mach/z ynq/serial.c#L379  - Alex On Fri, 2017-11-10 at 07:51 +0100, Joel Svensson wrote:

Hello Alex and thank you. 

You assumption is correct, I am on a non-supported platform (the Trenz ZynqBerry). So probably some tweaks will be needed.  Do you suspect that I will need to make these changes in the sel4 code or will finding and changing some configuration file be enough?  First, of course, I need to figure out what the important differences between the ZC706 and the ZynqBerry are. 

I was using the release build but now switched to debug and tried that as well. That did not produce any additional output.  So that UART configuration changes are needed sound very likely.  

Thanks again and have a great day /Joel 

On Fri, Nov 10, 2017 at 12:18 AM, wrote:

...

Hi Joel,

Which Zynq-7000 platform are you using? The supported platform is the ZC706. Other platforms might need some trivial changes, particularly for UART baudrate configuration.

Are you using the debug or release config? The debug build should show additional messages during boot.

 - Alex

...

Hello, 

I want to learn about seL4 so I am trying to get is started on

...

hardware I already have (a zynq 7000). 

I have generated the image: sel4test-driver-image-arm-zynq7000

Now I try to load that onto the zynq by executing these commands in XMD: connect arm hw  rst fpga -f design_1_wrapper.bit source ps7_init.tcl ps7_init ps7_post_config dow sel4test-driver-image-arm-zynq7000 run 

All of the above seem to be successful. Then, I have a serial

On Thu, 2017-11-09 at 13:35 +0100, Joel Svensson wrote: the link

...

hooked up to the board (uart) and there I get the following output (screen /dev/ttyUSB1 115200) :  ELF-loader started on CPU: ARM Ltd. Cortex-A9 r3p0   paddr=[10000000..103c881f] ELF-loading image 'kernel'   paddr=[0..2afff]   vaddr=[e0000000..e002afff]   virt_entry=e0000000

But then nothing more. I am lost what to do from this position in order to continue exploring seL4.  I don't even know if what I see is an indication of a problem or not.  If anyone has experience in running seL4 on zynq and if you sit on knowledge you want to share,  please fill me in. 

Thank you

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel