Embedded Device Support
From Xenomai
Contents |
Introduction
This page provides information regarding which hardware/platform/SBC from the embedded space is known to work with Xenomai.
BIG FAT WARNING: The information below may be incomplete and/or outdated; the Xenomai project is not committed to support each and every SBC/platform from each and every architecture in all Xenomai releases, and new hardware support is regularly added to this list. If unsure about whether your hardware is supported by a given Xenomai release, ask on the Xenomai mailing-list.
ARM
Supported SoC
Xenomai has been ported to the following ARM SoC:
- ARM
- Integrator/CP
- Atmel
- at91 family
- Freescale
- MXC family (iMX21, iMX27, iMX31)
- Intel
- ixp4xx
- Intel/Marvell
- PXA family
- SA11x0-based
- Samsung
- S3C24xx family
- Texas Instruments
- OMAP3 family
Supported Evaluation Boards
Xenomai is known to work on those ARM-based Evaluation Boards:
- Balloonz Ltd
- SA1110: Balloon2
- Cogent Computer
- i.MX21: CSB535fs
- AT91RM9200: CSB637
- DAVE s.r.l. / DENX Computer Systems GmbH
- i.MX31: Qong EVB-Lite
- Freescale
- i.MX1: MX1ADS
- i.MX31: MX31ADS
- Intel
- IXP465: IXDP465
- Linksys/Cisco
- IXP425: NSLU2
- Texas Instrument
- OMAP3530: Beagle
Blackfin
Supported Processors
Xenomai has been ported to the following Blackfin processors:
- Analog Devices
- BF526
- BF527
- BF533
- BF537
- BF548
- BF561
Supported Evaluation Boards
Xenomai is known to work on those Blackfin-based Evaluation Boards:
- Analog Devices
- BF526 EZ-KIT
- BF527 EZ-KIT Lite
- BF533 STAMP
- BF537 STAMP
- BF548 EZ-KIT Lite
- BF561 EZ-KIT
Nios II
Supported Boards
- Altera
- DE2
PowerPC
Supported Architectures
Xenomai was reported to work on platforms based on the following embedded PowerPC (32/64bit) architectures: 40x, 44x, 512x, 52xx, 82xx, 83xx, 85xx, 86xx, pa6t. Only the BOOK3S core is currently supported in 64bit mode (no BOOK3E_64 yet)
Supported Evaluation Boards
Xenomai is known to work on those PowerPC-based Evaluation Boards:
- AMCC
- PPC405EX: Kilauea, Makalu
- PPC405GP: Walnut
- PPC405GPr: Sycamore
- PPC405EP: Bubinga, Taihu
- PPC440EP: Bamboo, Yosemite
- PPC440EPx: Sequoia
- PPC440GX: Ocotea, Taishan
- PPC440GR: Yellowstone
- PPC440GRx: Rainier
- PPC440SPe: Yucca, Katmai
- DAVE s.r.l. / DENX Computer Systems GmbH
- MPC5121: Aria
- Emerson
- MPC8641D: MVME7100
- Freescale
- MPC5121-ADS
- MPC8272-ADS
- MPC8349-ITX
- MPC8360-MDS
- MPC8540-ADS
- MPC8545-CDS
- MPC8548E-CDS
- MPC5200, MPC5200b: Lite5200, Lite5200b
- PA-Semi
- PA6T: 1682M Electra
- TQ Components
- MPC8548E: TQM8548
- MPC8560: TQM8560
SMP support
Xenomai is SMP-capable on multi-core/multi-processor PowerPC platforms (e.g. MVME7100 ppc32 dual core, PA6T ppc64 dual core).
x86
All x86-compatible 32/64bit processor types starting from i486 CPUs and better are supported. Lower latencies are achieved when a TSC and local APIC are available from the CPU. Make sure the processor type you pick in your kernel configuration actually matches your CPU. In case you get weird latencies when running Xenomai on your x86 board, make sure to check out this information.
Supported Sub-Architectures
Xenomai is known to work on all PC-compatible and AMD Elan systems.
SMP support
Xenomai is SMP-capable on all supported multi-processor/multi-core x86 platforms.


