On 13.09.2017 08:48, Alexander Boettcher wrote: >> to enable it on Sabre Lite platform, and currently I have no problems >> running test scenarios under default hw kernel. But when attempting to run >> Genode with seL4, the boot process hangs up once it reaches "Jumping to >> kernel-image entry point..." >> >> ELF-loader started on CPU: ARM Ltd. Cortex-A9 r2p10 >> paddr=[20000000..201bc01f] >> ELF-loading image 'kernel' >> paddr=[10000000..10039fff] >> vaddr=[e0000000..e0039fff] >> virt_entry=e0000000 >> ELF-loading image 'genode.elf' >> paddr=[1003a000..10261fff] >> vaddr=[2000000..2227fff] >> virt_entry=2000000 >> Enabling MMU and paging >> Jumping to kernel-image entry point... > > The UART for Sabre Lite and Wand Quad are not the same, as far as I know.
Sorry, my assumption seems to be wrong, since the messages above are from the seL4 elfloader already. So I presume you have just to adjust the seL4 kernel autoconf.h to match the Sabre lite board. > Also, the seL4 kernel configuration (autoconf.h) is adjusted to match > the Wand Quad board, and not the Sabre Lite board, see > > repos/base-sel4/patches/wand_quad.config > repos/base-sel4/ports/sel4.port -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
