.gitlab-ci.d/opensbi/Dockerfile

2 # Docker image to cross-compile OpenSBI firmware binaries
8 # Install packages required to build OpenSBI
13     apt install --assume-yes --no-install-recommends \
14         build-essential \
15         ca-certificates \
22     rm -rf /var/lib/apt/lists/*
24 # Manually install the kernel.org "Crosstool" based toolchains for gcc-8.3
25 RUN wget -O - \
26 …ge.kernel.org/pub/tools/crosstool/files/bin/x86_64/8.3.0/x86_64-gcc-8.3.0-nolibc-riscv32-linux.tar…
27     | tar -C /opt -xJ
28 RUN wget -O - \
29 …ge.kernel.org/pub/tools/crosstool/files/bin/x86_64/8.3.0/x86_64-gcc-8.3.0-nolibc-riscv64-linux.tar…
30     | tar -C /opt -xJ
33 ENV PATH="/opt/gcc-8.3.0-nolibc/riscv32-linux/bin:${PATH}"
34 ENV PATH="/opt/gcc-8.3.0-nolibc/riscv64-linux/bin:${PATH}"