Binary files for ARMinARM board