ARM/sel4 compatibility

[Alexander Boettcher]

On 07.08.2018 13:25, Alexander Boettcher wrote:
> U-Boot SPL 2015.10-00237-g92e40f5-dirty (Dec 04 2015 - 15:37:04)
> U-Boot 2015.10-00237-g92e40f5-dirty (Dec 04 2015 - 15:37:04 +0100)
> CPU:   Freescale i.MX6Q rev1.2 at 792 MHz
> Reset cause: POR
> Board: Wandboard rev B1
> I2C:   ready
> DRAM:  2 GiB
> MMC:   FSL_SDHC: 0, FSL_SDHC: 1
> No panel detected: default to HDMI
> Display: HDMI (1024x768)
> In:    serial
> Out:   serial
> Err:   serial
> Net:   FEC [PRIME]
> Hit any key to stop autoboot:  1  0
> FEC Waiting for PHY auto negotiation to complete.... done
> BOOTP broadcast 1
> DHCP client bound to address X.X.X.X (2 ms)
> Using FEC device
> TFTP from server X.X.X.X; our IP address is X.X.X.X
> Filename '/tftpboot/hosts/wandboard.scr'.

The relevant configuration snippet to build the wandboard.scr is

setenv serverip X.X.X.X
tftp 0x50000000 /wand_quad/uImage
bootm 0x50000000

> Using FEC device
> TFTP from server X.X.X.X; our IP address is X.X.X.X
> Filename '/tftpboot/wand_quad/uImage'.
> Load address: 0x50000000

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth