Home.asciidoc

@@ -9,7 +9,7 @@ background collaborate to build a robust and resource-efficient
 real-time core for Linux(C) following the dual kernel approach, for
 applications with stringent latency requirements.
 
-* The current stable release is Xenomai **3.1**.
+* The current stable release is Xenomai **3.1.1**.
 
 * Work is ongoing towards release **3.2**, including Y2038 readiness
   and a transition to a modern interrupt pipeline implementation
@@ -34,10 +34,9 @@ Xenomai **3.3**.
 * **Clone**: git://git.xenomai.org/xenomai.git
 * **Maintenance branch**: stable/v3.0.x
 * **Development branch**: master
-* **Stable release**: v3.1
-https://xenomai.org/downloads/xenomai/stable/xenomai-3.1.tar.bz2[[tarball]]
-https://xenomai.org/downloads/xenomai/stable/xenomai-3.1.tar.bz2.sig[[sig]]
-https://xenomai.org/gitlab/xenomai/commit/5714ceede70c[[tag]]
+* **Stable release**: v3.1.2
+https://source.denx.de/Xenomai/xenomai/-/archive/v3.1.1/xenomai-v3.1.1.tar.bz2[[tarball]]
+https://source.denx.de/Xenomai/xenomai/-/commit/8b2052eaeaa4d458d3eb354a3548903a044d5b0d[[tag]]
 * **Documentation**: 
 https://xenomai.org/documentation/xenomai-3/html/xeno3prm/index.html[[HTML]]
 https://xenomai.org/documentation/xenomai-3/pdf/[[PDF]]