Module: xenomai-2.6
Branch: master
Commit: 83370272af38c408a62e570989ffb5059ae06707

Author: Gilles Chanteperdrix <>
Date:   Fri Oct  4 22:21:17 2013 +0200

doc: ixp4xx now also uses the kuser tsc


 doc/asciidoc/TROUBLESHOOTING.adoc |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)

diff --git a/doc/asciidoc/TROUBLESHOOTING.adoc 
index 0e167cd..433be63 100644
--- a/doc/asciidoc/TROUBLESHOOTING.adoc
+++ b/doc/asciidoc/TROUBLESHOOTING.adoc
@@ -562,9 +562,7 @@ Xenomai: incompatible feature set
 It means that you are either using an old patch, or that the SOC you
-are using does not select the +CONFIG_IPIPE_ARM_KUSER_TSC+ option (to
-this date the only in-tree SOC family not using this option is
+are using does not select the +CONFIG_IPIPE_ARM_KUSER_TSC+ option.
 So you should resort to what Xenomai did before branch 2.6: select the
 tsc emulation code when compiling Xenomai user-space support by using

Xenomai-git mailing list

Reply via email to