Skip to content
GitLab
  • Explore
  • Sign in
  • Register
  • xenomaixenomai
  • xenomaixenomai
  • Wiki
  • Home

Home · Changes

Page history
Merge information from xenomai.org homepage authored Dec 04, 2019 by Philippe Gerum's avatar Philippe Gerum
Hide whitespace changes
Inline Side-by-side
Home.asciidoc
View page @ 9e73dca3
......@@ -15,3 +15,40 @@ 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)
Clone repository
  • Analogy_General_Presentation
  • Analogy_Practical_Presentation
  • App_Setup_And_Init
  • Benchmarking_With_Xeno_Test
  • Building_Applications_For_Xenomai_3
  • Building_Debian_Packages
  • CXP_RTDM
  • Common_Xenomai_Platform
  • Configuring_For_X86_Based_Dual_Kernels
  • Dealing_With_X86_IRQ_Sharing
  • Dealing_With_X86_SMI_Troubles
  • Dovetail
  • Driver_Serial_16550A
  • FAQ
  • Finding_Spurious_Relaxes
View All Pages

Imprint & Privacy Policy