FROM debian:bookworm

RUN apt-get update \
    && apt-get -y upgrade \
    && apt-get install -y make device-tree-compiler python3 gcc-riscv64-linux-gnu \
    && adduser --quiet --disabled-password user

USER user:user
WORKDIR /home/user

COPY --chown=user:user opensbi.tar.gz /home/user
COPY --chown=user:user opensbi-platform.tar.gz /home/user
RUN tar -xvf opensbi.tar.gz \
    && cd opensbi/platforms \
    && tar -xvf ~/opensbi-platform.tar.gz \
    && rm ~/opensbi.tar.gz ~/opensbi-platform.tar.gz