Xenomai has dropped 32-bit IPIPE support since kernel 4.14.71. The earliest kernel series supported in this tree is 5.4.
IA32 emulation and X32 ABI have been disabled in Kconfig due to various build errors. 32-bit binaries will not work.
See README.INSTALL for installation instructions.