Home.asciidoc

@@ -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)