Xinu arm port, for Raspberry Pi