arm_hardware	cmake_plat	xcompiler_arg	platform	arch	virtualization	iommu	soc	cpu	Status	Contrib	Maintained	SPDX-License-Identifier	SPDX-FileCopyrightText
true	exynos5410	-DAARCH32=1	OdroidXU	ARMv7A	ARM HYP	limited System MMU	Exynos5	Cortex-A15	Unverified	Data61	seL4 Foundation	CC-BY-SA-4.0	2020 seL4 Project a Series of LF Projects, LLC.

seL4 on the Odroid XU

This page provides info on the Odroid-XU Exynos 5 board

seL4 assumes that one boots in HYP mode. To do this, one needs a new signed bootloader.

Follow the instructions on the HardKernel Forum to get and flash the firmware

The standard U-Boot will allow booting via Fastboot or by putting the bootable ELF file onto an SD card or the eMMC chip.

Run seL4test using fastboot

{% include sel4test.md %}

Boot the Odroid, with serial cable attached, and a terminal emulator attached to the serial port.

Interrupt U-Boot's autoboot by hitting SPACE

Enter Fastboot mode by typing fastboot

On the host,

mkimage -A arm -a 0x48000000 -e 0x48000000 -C none -A arm -T kernel -O qnx -d images/sel4test-driver-image-arm-exynos5 image
fastboot boot image