Philippe Gerum wrote:
> Robert Schwebel wrote:


>> I've looked into the first ones only yet and it looks to me like the
>> type definitions have to be reviewed carefully. For example, TASK_ID is
>> defined to be unsigned long, whereas the vxworks documentation [1] looks
>> more like if we need 'int' there. Which also makes me wonder if vxworks
>> has a special idea about what 'int' is;
> VxWorks assumes 32bit and sizeof(void *) == sizeof(int), unfortunately. See
> taskSpawn() for instance.

Sorry: s,taskSpawn,taskInit,


Xenomai-core mailing list

Reply via email to