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
