Laurent BESSARD wrote:
> 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
If you do not use the Linux kernel makefiles to compile your driver,
then it is your driver that is broken and needs fixing.
--
Gilles.
_______________________________________________
Xenomai-help mailing list
[email protected]
https://mail.gna.org/listinfo/xenomai-help
