Microkit Supported Platforms

The following platforms are supported by the seL4 Microkit. See also the section on Board Support Packages in the Microkit manual.

Microkit currently supports Arm AArch64 and RISC-V boards. x64 support is on the roadmap.

Arm

Platform	System-on-chip	Core	Microkit platform
i.MX8M Mini	IMX8MM-EVK	Cortex-A53 Quad 1.8 GHz	imx8mm_evk
i.MX8M Plus	IMX8MP-EVK	Cortex-A53 Quad 1.8 GHz	imx8mp_evk
i.MX8M Quad	MCIMX8M-EVKB	Cortex-A53 Quad 1.5 GHz	imx8mq_evk
Avnet MaaXBoard	i.MX8MQ	Cortex-A53 Quad 1.5 GHz	maaxboard
Odroid-C2	Amlogic S905	Cortex-A53	odroidc2
Odroid-C4	Amlogic S905X3	Cortex-A55	odroidc4
QEMU Arm Virt	virt	Cortext-A53	qemu_virt_aarch64
ROCKPro64	RK3399 hexa-core	Cortex-A53 Quad 1.8 GHz	rockpro64
Raspberry Pi 4B	BCM2711	Cortex-A72	rpi4b_1gb
TQMa8XQP 1GB	i.MX8X Quad Plus	Cortex-A35	tqma8xqp1gb
Zynq ZCU102 Evaluation Kit	Zynq UltraScale+ MPSoC	Cortex-A53	zcu102

RISC-V

Platform	System-on-chip	Core	Microkit platform
Ariane		Ariane (CVA6)	ariane
Cheshire		Cheshire	cheshire
QEMU RISC-V	virt	rv64	qemu_virt_riscv64
Pine64 Star64	StarFive JH7110	U74-MC, E24	star64

Upcoming in the next release

Platform	System-on-chip	Core	Microkit platform
HiFive Premier P550	ESWIN EIC7700X	P550	hifive_p550
Ultra96v2 Evaluation Kit	Zynq UltraScale+ MPSoC	Cortex-A53	ultra96v2

Not in the list above?

See the section on adding platform support for how to add a new platform to Microkit. To add a platform to Microkit it must be supported by seL4 first. See the seL4 page on supported platforms for options on that.