Hello all,
Recently, I tried to compile a driver for Xenomai and I received this
warning while trying to include rtdm_driver.h:
In file included from /usr/xenomai/include/nucleus/xenomai.h:25,
from /usr/xenomai/include/rtdm/rtdm_driver.h:37
/usr/xenomai/include/nucleus/heap.h:110:5: warning:
"CONFIG_XENO_OPT_SYS_STACKPOOLSZ" is not defined
This symbol is provided by kernel config while compiling kernel, but
doesn't exist in any other context.
It would solve the problem if heap.h test if this symbol exist before
trying to use it, or define a default value for this symbol like:
#ifndef CONFIG_XENO_OPT_SYS_STACKPOOLSZ
#define CONFIG_XENO_OPT_SYS_STACKPOOLSZ 0
#endif
Thanks,
Laurent
--
LOLITech - TBI sarl
24, rue Pierre Evrat
88100 Saint-Dié des Vosges
tel: 03 29 52 95 67
fax: 03 29 58 93 16
[EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]>
http://www.lolitech.fr <http://www.lolitech.fr>
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
