On 02/15/2013 02:31 PM, Norbert Bukuli wrote:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Thank you again for your kind help!
I am really sorry for the confusing question. Now we are compiling
kernel modules only. Afterwards we port our application from RTAI,
kernelspace to Xenomai, kernelspace will we port from kernelspace to
userspace.
I found what makes the problem. The CONFIG_CC_OPTIMIZE_FOR_SIZE kernel
option was set on. After I turned it off, the compilation was successful.
I guess you are referring to that issue brought in by gcc releases >= 4.4.x?
http://www.mail-archive.com/[email protected]/msg17189.html
http://gcc.gnu.org/ml/gcc-patches/2008-04/msg01678.html
It looks like the suggested kernel patch to fix it did not make its way
to the kernel. Bottom line is that it's not fpu related actually. This
is definitely good material for the Xenomai wiki.
--
Philippe.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
