Thanks again Alex, I'm suspecting something else (to begin with). Since I do get some output from elf_loader I went in there and added a few printfs. It seems execution just stops when it has entered into the unpack_elf_to_paddr function. It seems to be a memset call in there that just locks up any progress.
One big difference my platform and the supported one is the amount of memory. The board I tried this on has only 128mb. Is it possible that I need to change some memory layout-describing files to take this into account. If 128mb is just way too little I have some 512mb variants as well. At least for elf_loader it seems the uart setup is compatible with the configuration for the supported board. Maybe this will be a problem again, later in the boot process, but right now I suspect the memory difference. Thanks again and have a great weekend. /Joel On Sat, Nov 11, 2017 at 12:42 AM, <[email protected]> wrote: > 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, <[email protected]> > > 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 > > > > > > > > > > > > > > > On Thu, 2017-11-09 at 13:35 +0100, Joel Svensson wrote: > > > > Hello, > > > > > > > > I want to learn about seL4 so I am trying to get is started on > > > the > > > > 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 > > > 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 > > > > [email protected] > > > > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
