L4re Platform support

L4Re Board Support Packages

The L4Re Operating System Framework provides support for all existing processor architectures and SoC and MCU platforms. You can search our extensive library below by architecture, silicon vendor, board vendor and more categories.

The listed Board Support Packages generally provide basic support for running L4Re applications and VMs on the platform. Support for specific peripherals varies.

Please approach us for any questions regarding platform support!

MMU
MPU
Architecture Silicon Vendor Board Vendor Board Name / SoC Processor BSP Name Bits
x86 Intel Intel Core i7/i5/i3 Intel Sandy Bridge (2nd Gen) L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Intel Core i7/i5/i3 Intel Haswell (4th Gen) L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Intel Core i7/i5/i3 Intel Skylake (6th Gen) L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Shuttle Intel Core i7/i5/i3 Intel Coffee Lake (8th Gen) L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Intel Core i7/i5/i3 Intel Tiger Lake (11th Gen) L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Congatec conga-TS370 Xeon E-2276ML Intel Xeon L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Congatec conga-TS97 Core i7 Intel Broadwell (5th Gen) L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Congatec conga-MA5 Intel Atom E3940 L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Avnet MSC C6B-CFLR Xeon E-2254ML Intel Xeon L4Re BSP for generic x86_64 (pc) 32/64
x86 Intel Lattepanda Lattepanda Delta 3 Intel Celeron N5150 L4Re BSP for generic x86_64 (pc) 32/64
x86 AMD L4Re BSP for generic x86_64 (pc) 32/64
ARM Marvell Globalscale ESPRESSObin Cortex-A53 armada37xx 32/64
ARM ARM ARM ARM AEM Fixed Virtual Platform Cortex-A arm_fvp_base 64
ARM Qemu Qemu QEMU ARM Virtual Platform Any Cortex-A arm_virt 32/64
ARM NXP NXP MCIMX8-EVK Cortex-A53 L4Re BSP for i.MX (imx8m) 32/64
ARM NXP NXP MCIMX8QXP Cortex-A35 L4Re BSP for i.MX (imx8q) 32/64
ARM NXP NXP MCIMX8QM Cortex-A72/A53/A35 L4Re BSP for i.MX (imx8x) 32/64
ARM NXP Variscite VAR-SOM-MX8 Cortex-A72/A53/A35 L4Re BSP for i.MX (imx8x) 32/64
ARM NXP NXP QorIQ FRDM LS1012A Cortex-A53 ls1012afrdm 32/64
ARM NXP NXP Layerscape LS1046A Cortex-A72/A53/A35 ls1046 32/64
ARM Renesas Renesas Renesas R-Car Gen3 Cortex-A57/A53 L4Re BSP for Rcar (rcar3) 32/64
ARM Renesas Renesas Renesas R-Car V3U Cortex-A76 L4Re BSP for Rcar (rcar4) 32/64
ARM Broadcom raspberrypi.org Raspberry Pi 1 ARM1176JZFS L4Re BSP for Raspberry Pi (rpi) 32
ARM Broadcom raspberrypi.org Raspberry Pi Zero ARM1176JZFS L4Re BSP for Raspberry Pi (rpi) 32
ARM Broadcom raspberrypi.org Raspberry Pi Zero W ARM1176JZFS L4Re BSP for Raspberry Pi (rpi) 32
ARM Broadcom raspberrypi.org Raspberry Pi 2 Cortex-A53 L4Re BSP for Raspberry Pi (rpi) 32/64
ARM Broadcom raspberrypi.org Raspberry Pi 3 Cortex-A53 L4Re BSP for Raspberry Pi (rpi) 32/64
ARM Broadcom raspberrypi.org Raspberry Pi 4 Cortex-A72/A53/A35 L4Re BSP for Raspberry Pi (rpi) 32/64
ARM ARM ARM ARM Versatile Express A15, QEMU Cortex-A15 rv_vexpress_a15 32/64
ARM ARM ARM ARM AEM FVP Base Simulator Any arm_fvp_base
ARM NXP NXP EVK Cortex-A53 s32 32/64
ARM Xilinx Xilinx Zynq UltraSCALE+ MPSoC Cortex-A53 zynqmp 32/64
ARM NXP NXP LX2160 Cortex-A72 lx2160 32/64
ARM NXP SolidRun HoneyComb LX2 Cortex-A72 lx2160 32/64
ARM Marvell Marvell Armada 38x Cortex-A9 armada38x 32
ARM Texas Instruments beagleboard.org Beagleboard Cortex-A8 beagleboard 32
ARM Allwinner cubieboard.org Cubieboard 2 Cortex-A7 cubieboard2 32
ARM Samsung Samsung Galaxy S2 Cortex-A9 exynos4 -- Samsung Exynos4 32
ARM Samsung Samsung Arndale development board Cortex-A15 exynos5 32
ARM Freescale / NXP ARM926EJ-S L4Re BSP for i.MX (imx21) 32
ARM Freescale / NXP NXP Freescale i.MX28 Evaluation Kit ARM9 L4Re BSP for i.MX (imx28) 32
ARM Freescale / NXP ARM1136 L4Re BSP for i.MX (imx35) 32
ARM Freescale / NXP NXP MCIMX51EVKJ Cortex-A8 L4Re BSP for i.MX (imx51) 32
ARM NXP Cortex-A9 L4Re BSP for i.MX (imx6) 32
ARM NXP PhyTec PhyTec Mira i.MX6 Cortex-A9 L4Re BSP for i.MX (imx6) 32
ARM NXP Cortex-A7 L4Re BSP for i.MX (imx6ul) 32
ARM NXP i.MX7 SABRE Cortex-A7 L4Re BSP for i.MX (imx7) 32
ARM ARM Integrator integrator 32
ARM Marvell kirkwood 32
ARM NXP NXP TWR-LS1021A Cortex-A7 ls1021atwr 32
ARM Texas Instruments OMAP AM33xx Cortex-A8 L4Re BSP for TI OMAP (omap3_am33xx) 32
ARM Texas Instruments OMAP3 EVM Cortex-A8 L4Re BSP for TI OMAP (omap3evm) 32
ARM Texas Instruments Texas Instruments OMAP5432 EVM Development Board Cortex-A15 L4Re BSP for TI OMAP (omap5) 32
ARM Texas Instruments Pandaboard Cortex-A9 L4Re BSP for TI OMAP (pandaboard) 32
ARM Xilinx parallella.org Parallella Board Cortex-A9 parallella 32
ARM ARM Realview Any L4Re BSP for ARM Realview (rv) 32
ARM ARM Realview Any L4Re BSP for ARM Realview (rv_pbx) 32
ARM ARM ARM ARM Versatile Express Any L4Re BSP for ARM Realview (rv_vexpress) 32
ARM Nvidia Nvidia Nvidia Tegra 2 Cortex-A9 tegra2 -- Nvidia Tegra 2 32
ARM Nvidia Nvidia