Genode on i.MX6Q Sabre Lite

[Alexander Boettcher]

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