Other Hardware Support
From Xenomai
Contents |
Introduction
This page provides information regarding which desktop/server hardware is known to work with Xenomai.
ia64
Xenomai used to work on ia64 hardware, until release v2.5.0.
Lack of user base and no access to ia64 hardware killed any incentive to maintain this port, which stalled at version 2.6.16 of the Linux kernel. As a consequence of this, we removed the ia64 port from the Xenomai code base, and this architecture is no longer supported in recent Xenomai releases.
PowerPC
Supported Architectures
Xenomai was reported to work on Apple's PowerPC desktops/servers based on the G4 (32bit architecture) and G5 (PowerPC 970 64bit architecture) families.
SMP support
Xenomai is SMP-capable on PowerPC desktops/servers. However, SMP support for ppc32 was officially made available in Xenomai v2.4.8. SMP/ppc64 was already supported by earlier Xenomai releases though.
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, but any modern x86 desktop/server does exhibit those anyway; just make sure the processor type you pick in your kernel configuration actually matches your CPU. However, desktop/server x86 hardware may have issues when running real-time software, depending on the kernel configuration. Make sure to check out this information when setting up your kernel.
Supported Sub-Architectures
Xenomai is known to work on all PC-compatible desktops/servers.
SMP support
Xenomai is SMP-capable on all supported multi-processor/multi-core x86 platforms.


