initial temporary import of some first steps towards ARM port (targeting the Raspberry Pi)