1#
2# Docker image to cross-compile OpenSBI firmware binaries
3#
4FROM ubuntu:18.04
5
6MAINTAINER Bin Meng <bmeng.cn@gmail.com>
7
8# Install packages required to build OpenSBI
9RUN 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	python3 \
19        wget \
20    && \
21    \
22    rm -rf /var/lib/apt/lists/*
23
24# Manually install the kernel.org "Crosstool" based toolchains for gcc-8.3
25RUN wget -O - \
26    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 \
27    | tar -C /opt -xJ
28RUN wget -O - \
29    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 \
30    | tar -C /opt -xJ
31
32# Export the toolchains to the system path
33ENV PATH="/opt/gcc-8.3.0-nolibc/riscv32-linux/bin:${PATH}"
34ENV PATH="/opt/gcc-8.3.0-nolibc/riscv64-linux/bin:${PATH}"
35