Thank you for quick reply.
It was very helpful, and pointed me in the right direction. The answer was hiding within repos/base-sel4/patches/wand_quad.config, I somehow overlooked this directory while looking for answers. It turned out to be a one line fix in <genode_dir>/contrib/sel4-<SHA>/src/kernel/sel4/configs/imx6/sabre_lite/autoconf.h file. Changing #define CONFIG_PLAT_WANDQ 1 to #define CONFIG_PLAT_SABRE 1 did the trick. Now I can observe outputs from elf-loader tool, seL4 and Genode.
Cheers
On Wed, Sep 13, 2017 at 8:30 AM, Christian Helmuth < christian.helmuth@...1...> wrote:
On Wed, Sep 13, 2017 at 12:44:11PM +0200, Alexander Boettcher wrote:
On 13.09.2017 08:48, Alexander Boettcher wrote:
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.
The kernel differentiates Sabre Lite and Wandboard regarding UART config and available RAM.
$ grep -rnA2 'CONFIG_PLAT_SABRE|CONFIG_PLAT_WANDQ' . ./src/kernel/sel4/configs/imx6/wand_quad/autoconf.h:75:#define CONFIG_PLAT_WANDQ 1 ./src/kernel/sel4/configs/imx6/wand_quad/autoconf.h-76-#define CONFIG_HAVE_LIB_PLATSUPPORT 1 ./src/kernel/sel4/configs/imx6/wand_quad/autoconf.h-77-#define CONFIG_NUM_DOMAINS 16 -- ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h:55:#if defined(CONFIG_PLAT_SABRE) ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-56- /* Sabre has 1 GiB */ ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-57- { /* .start = */ 0x10000000, /* .end = */ 0x50000000 } ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h:58:#elif defined(CONFIG_PLAT_WANDQ) ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-59- /* Wandboard Quad: 2 GiB */ ./src/kernel/sel4/include/plat/imx6/plat/machine/hardware.h-60- { /* .start = */ 0x10000000, /* .end = */ 0x90000000 } -- ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h:15:#ifdef CONFIG_PLAT_SABRE ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h-16-#define UART_PADDR UART2_PADDR ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h:17:#elif defined(CONFIG_PLAT_WANDQ) ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h-18-#define UART_PADDR UART1_PADDR ./src/kernel/sel4/include/plat/imx6/plat/machine/devices.h-19-#else
Greets
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
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