Hi Philippe,I just realized that recent changes in ksrc/arch/powerpc/switch.S have broken the build of Xenomai with linuxppc_2_4_devel on PPC:
#include <asm/offsets.h> does not exist Symbols like SAVE_NVGPRS do not existFor the time being, I will stick with an older version for testing RTnet (where I'm currently debugging "floating point used in kernel" errors on the MPC8260),
Thanks. Wolfgang.