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