On 2013-02-25 20:10, Jan Kiszka wrote:
On 2013-02-25 20:07, Anders Blomdell wrote:
On 2013-02-25 18:08, Jan Kiszka wrote:
As 3.5 is dead, this fix will never make it there unless we back-port.
While I'm doing this, could you try if

      git://git.xenomai.org/ipipe-jki.git for-upstream/master
I'm probably more stupid than normal (i.e I can't find any ipipe for
x86_64):

# git clone git://git.xenomai.org/ipipe-jki.git for-upstream/master

git clone git://git.xenomai.org/ipipe-jki.git
git checkout -b for-upstream/master origin/for-upstream/master
OK, thanks. Do I need to setup xenomai in order to gain any useful information, or is:

CONFIG_IPIPE=y
CONFIG_IPIPE_LEGACY=y
CONFIG_IPIPE_CORE=y
CONFIG_IPIPE_CORE_APIREV=2
CONFIG_IPIPE_TARGET_APIREV=1
CONFIG_IPIPE_HAVE_HOSTRT=y
CONFIG_IPIPE_DELAYED_ATOMICSW=y
# CONFIG_IPIPE_DEBUG is not set

sufficient?

Regards

Anders

--
Anders Blomdell                  Email: [email protected]
Department of Automatic Control
Lund University                  Phone:    +46 46 222 4625
P.O. Box 118                     Fax:      +46 46 138118
SE-221 00 Lund, Sweden


_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai

Reply via email to