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 / Blue, Jetson TK1, Odroid-C2, Odroid-C4, OdroidXU, OdroidXU4, QEMU Arm Virt, ROCKPro64, Raspberry Pi 3-b, Raspberry Pi 4B, Raspberry Pi 5B, Rock3b, STM32MP25 EV1, Sabre Lite, TK1-SOM, TQMa8XQP 1GB, TX1, TX2, Ultra96v2 Evaluation Kit, Zynq ZCU106 Evaluation Kit, Zynq ZCU102 Evaluation Kit, Zynq-7000 ZC706 Evaluation Kit, i.MX8M Mini, i.MX8M Plus, i.MX8M Quad, i.MX93 EVK
- RISC-V: Ariane, Banana Pi BPI-F3, Cheshire, HiFive Premier P550, HiFive Unleashed, Microchip PolarFire Icicle Kit, Pine64 Star64, QEMU RISC-V, Rocketchip, Rocketchip (zcu102), Spike
- 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.