Fillod Stephane wrote:
> Jan Kiszka wrote:
>> /proc/xenomai/stat output is strange. Probably some type cast error,
>> because 18446744071739514846 = 0xFFFFFFFF8A939FDE and the appropriate
>> value perhaps should be 0x000000008A939FDE = 2324930526.
> Reminds me that other pending patch for /proc/xenomai/faults:
december 2007? Oh dear! You should remind us more often when we
forg^H^H^H^H take so much time to include your patches.
Xenomai-core mailing list