Installing Xenomai 2 on a Raspberry Pi 1: