3 RUN apt-get update && apt-get install --no-install-recommends -y \
6 binutils-arm-none-eabi \
14 libnewlib-arm-none-eabi \
15 software-properties-common \
19 && rm -rf /var/lib/apt/lists/*
21 # upgrade gcc-arm-none-eabi from the default 5.4.1 to 6.3.1 due to ARM runtime issues
22 RUN wget -q https://developer.arm.com/-/media/Files/downloads/gnu-rm/6-2017q2/gcc-arm-none-eabi-6-2017-q2-update-linux.tar.bz2 -O - | \
23 tar xj --strip-components=1 -C /