Dockerfile (1001B)
1 # 2 # Docker image to cross-compile OpenSBI firmware binaries 3 # 4 FROM ubuntu:18.04 5 6 MAINTAINER Bin Meng <bmeng.cn@gmail.com> 7 8 # Install packages required to build OpenSBI 9 RUN apt update \ 10 && \ 11 \ 12 DEBIAN_FRONTEND=noninteractive \ 13 apt install --assume-yes --no-install-recommends \ 14 build-essential \ 15 ca-certificates \ 16 git \ 17 make \ 18 wget \ 19 && \ 20 \ 21 rm -rf /var/lib/apt/lists/* 22 23 # Manually install the kernel.org "Crosstool" based toolchains for gcc-8.3 24 RUN wget -O - \ 25 https://mirrors.edge.kernel.org/pub/tools/crosstool/files/bin/x86_64/8.3.0/x86_64-gcc-8.3.0-nolibc-riscv32-linux.tar.xz \ 26 | tar -C /opt -xJ 27 RUN wget -O - \ 28 https://mirrors.edge.kernel.org/pub/tools/crosstool/files/bin/x86_64/8.3.0/x86_64-gcc-8.3.0-nolibc-riscv64-linux.tar.xz \ 29 | tar -C /opt -xJ 30 31 # Export the toolchains to the system path 32 ENV PATH="/opt/gcc-8.3.0-nolibc/riscv32-linux/bin:${PATH}" 33 ENV PATH="/opt/gcc-8.3.0-nolibc/riscv64-linux/bin:${PATH}"