FROM antmicro/renode:latest RUN apt-get update RUN apt-get install gcc-arm-none-eabi make -y