Philippe Gerum
|
Xenomai is a Free Software project in which engineers from a wide background collaborate to build a versatile real-time framework for the Linux© platform.
The main project goal is to help migrating industrial applications from proprietary real-time systems to Linux.
Xenomai is about making various real-time operating system APIs available to Linux-based platforms. When the target Linux kernel cannot meet the requirements with respect to response time constraints, Xenomai can also supplement it for delivering stringent real-time guarantees based on an original co-kernel technology.
Real-time system
-
Git hosting: [https://xenomai.org/gitlab/xenomai](https://xenomai.org/gitlab/xenomai)
-
Clone: [git://git.xenomai.org/xenomai.git](git://git.xenomai.org/xenomai.git)
-
Maintenance branch: stable/v3.0.x
-
Development branch: master
-
Stable release: v3.0.9 [\[tarball\]](https://xenomai.org/downloads/xenomai/stable/xenomai-3.0.9.tar.bz2) [\[sig\]](https://xenomai.org/downloads/xenomai/stable/xenomai-3.0.9.tar.bz2.sig) [\[tag\]](https://xenomai.org/gitlab/xenomai/commit/120b1102)
-
Documentation: [\[HTML\]](https://xenomai.org/documentation/xenomai-3/html/xeno3prm/) [\[PDF\]](https://xenomai.org/documentation/xenomai-3/pdf/)
Interrupt pipeline (I-pipe)
<div style="text-align: justify"> The Cobalt real-time core depends on a patch to the mainline Linux kernel, which introduces a separate, high-priority execution stage for running out-of-band interrupt handlers immediately upon IRQ receipt, which cannot be delayed by the regular kernel work. </div>
Released patches can be downloaded from: [https://xenomai.org/downloads/ipipe](https://xenomai.org/downloads/ipipe/).
The current development trees (starting from kernel 4.14) for the I-pipe are available from:
-
ARM: [https://xenomai.org/gitlab/ipipe-arm](https://xenomai.org/gitlab/ipipe-arm)
-
ARM64: [https://xenomai.org/gitlab/ipipe-arm64](https://xenomai.org/gitlab/ipipe-arm64)
-
PPC32: [https://xenomai.org/gitlab/ipipe-ppc32](https://xenomai.org/gitlab/ipipe-ppc32)
-
x86: [https://xenomai.org/gitlab/ipipe-x86](https://xenomai.org/gitlab/ipipe-x86)
The legacy development tree (up to kernel 4.9) can be reached at [this URL.](https://xenomai.org/gitlab/ipipe)