Further work on arm-linux