Sign inSign up

trustworthysystems/riscv:latest

Multi-platform
Index digest

sha256:2f2e8b5ea242f0b706d8eb6849d578f4ff2b6b582eccb7c4f7b31fdcc3a2ebc8

OS/ARCH

Compressed size

7.12 GB

Last pushed

5 months by lsf37

Type

Image

Manifest digest

sha256:2fd29808365870ac1e8fa76291229e1c57e8877bb7cfee76df52d2fa2b598406

Image Layers

Image Layers

1# debian.sh --arch 'arm64' out/28.75 MB
2ARG TARGETPLATFORM=linux/arm640 B
3LABEL ORGANISATION=Trustworthy Systems0 B
4LABEL MAINTAINER=Luke Mondy ([email protected])0 B
5ARG SCM=0 B
6ARG DESKTOP_MACHINE=no0 B
7ARG USE_DEBIAN_SNAPSHOT0 B
8ARG SNAPSHOT_DATE0 B
9ARG MAKE_CACHES=yes0 B
10ARG SCRIPTS_DIR=/scripts0 B
11ARG REPO_DIR=/scripts/repo0 B
12ARG SCRIPT=base_tools.sh0 B
13COPY scripts /tmp/ # buildkit10.69 KB
14RUN |9 TARGETPLATFORM=linux/arm64 SCM= DESKTOP_MACHINE=no91.25 MB
15ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo0 B
16ARG TARGETPLATFORM=linux/arm640 B
17LABEL ORGANISATION=Trustworthy Systems0 B
18LABEL MAINTAINER=Luke Mondy ([email protected])0 B
19ARG SCM=0 B
20ARG DESKTOP_MACHINE=no0 B
21ARG USE_DEBIAN_SNAPSHOT0 B
22ARG MAKE_CACHES=yes0 B
23ARG SCRIPT=sel4.sh0 B
24COPY scripts /tmp/ # buildkit10.69 KB
25RUN |6 TARGETPLATFORM=linux/arm64 SCM= DESKTOP_MACHINE=no953.38 MB
26ENV LANG=en_AU.UTF-80 B
27ARG TARGETPLATFORM=linux/arm640 B
28LABEL ORGANISATION=Trustworthy Systems0 B
29LABEL MAINTAINER=Luke Mondy ([email protected])0 B
30ARG SCM=0 B
31ARG USE_DEBIAN_SNAPSHOT0 B
32ARG DESKTOP_MACHINE=no0 B
33ARG MAKE_CACHES=yes0 B
34ARG STACK_ROOT=/etc/stack0 B
35ARG STACK_GID=12340 B
36ARG SCRIPT=camkes.sh0 B
37COPY scripts /tmp/ # buildkit10.69 KB
38RUN |8 TARGETPLATFORM=linux/arm64 SCM= USE_DEBIAN_SNAPSHOT=1.34 GB
39LABEL ORGANISATION=Trustworthy Systems0 B
40LABEL MAINTAINER=Gerwin Klein <[email protected]>0 B
41LABEL PREBUILT=yes0 B
42RUN /bin/sh -c apt-get update4.02 MB
43ENV RISCV=/opt/riscv0 B
44RUN /bin/sh -c git clone8.94 MB
45WORKDIR /riscv-gnu-toolchain32 B
46RUN /bin/sh -c LATEST_TAG=$(git tag39.94 KB
47RUN /bin/sh -c ./configure --prefix=$RISCV4.72 GB

Command

# debian.sh --arch 'arm64' out/ 'trixie' '@1776729600'