Hi Philippe,

if I got your latest refactoring correctly, there can now only be one
kind of pod registered: nkpod_struct. In that case, wouldn't it be
consequent to remove the nkpod indirection from Xenomai as well? There
are quite a few occurrences, I know...

Jan