Module: xenomai-3
Branch: next
Commit: 9bb7b117d8bdee9155950a3616b7968dfa9f7f41

Author: Philippe Gerum <>
Date:   Sun Nov  1 17:22:33 2015 +0100

cobalt/arm64: add README for I-pipe support


 kernel/cobalt/arch/arm64/patches/README |   16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/kernel/cobalt/arch/arm64/patches/README 
new file mode 100644
index 0000000..fd85e06
--- /dev/null
+++ b/kernel/cobalt/arch/arm64/patches/README
@@ -0,0 +1,16 @@
+-- arch/arm64/patches
+Xenomai needs special kernel support to deliver fast and deterministic
+response time to external interrupts, and also to provide real-time
+services highly integrated with the standard Linux kernel.
+This support is provided by the interrupt pipeline (aka I-pipe) in the
+form of a kernel patch you have to apply against a vanilla kernel
+tree, before you attempt to compile the Xenomai codebase against the
+latter kernel.
+The Xenomai arm64 port is work in progress. The I-pipe support for
+this architecture is exclusively available from this development tree
+at the moment:
+git://, branch devel/ipipe-3.18-linaro-arm64.

Xenomai-git mailing list

Reply via email to