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@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main