Platform Support Overview
seL4 is available for a wide range of platforms on Arm, RISC-V, and Intel architectures. The kernel is intended to run on hardware ranging from small IoT boards to server class machines, with current focus on the embedded space.
seL4 runs on the following hardware:
- Arm: Avnet MaaXBoard, BeagleBoard, BeagleBone Black, i.MX8MM-EVK, i.MX8MP-EVK, i.MX8MQ-EVK, Odroid-C2, Odroid-C4, OdroidX, OdroidXU, OdroidXU4, Raspberry Pi 3B, Raspberry Pi 4B, ROCKPro64, Sabre Lite, TK1, TK1-SOM, TX1, TX2, Ultra96v2, Zynq ZCU102, Zynq-7000
- RISC-V: Ariane, Cheshire, HiFive Unleashed, Microchip PolarFire, Rocketchip
- Intel: 32 and 64 bit PC-99 machines
Virtualisation and SMP multicore support is available on most of these boards. Note that the formal verification does not apply to all configurations and platforms. For details on the exact feature and verification support status see the detailed supported platforms list on the seL4 docsite.
QEMU simulator support is available for all of the architectures above.
Need seL4 on a new platform?
Platform ports can be contracted from one of the endorsed seL4 service providers!
Instructions for performing your own platform port are available in the seL4 porting guide, and requirements for contributing platform ports are described on the platform contributions page.