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