Sign inSign up

trustworthysystems/camkes-cakeml-rust:2026_08_07-arm64

Manifest digest

sha256:484c5664e5d245925274078dee383201531058345831254dc21cda31ec42bead

OS/ARCH

linux/arm64/v8

Compressed size

2.53 GB

Last pushed

about 1 month by lsf37

Type

Image

Manifest digest

sha256:484c5664e5d245925274078dee383201531058345831254dc21cda31ec42bead

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.86 KB
14RUN |9 TARGETPLATFORM=linux/arm64 SCM= DESKTOP_MACHINE=no91.11 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.86 KB
25RUN |6 TARGETPLATFORM=linux/arm64 SCM= DESKTOP_MACHINE=no951.7 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.86 KB
38RUN |8 TARGETPLATFORM=linux/arm64 SCM= USE_DEBIAN_SNAPSHOT=982.94 MB
39ARG TARGETPLATFORM=linux/arm640 B
40LABEL ORGANISATION=Trustworthy Systems0 B
41LABEL MAINTAINER=Luke Mondy ([email protected])0 B
42ARG HOL_DIR=/HOL0 B
43ARG CAKEML_DIR=/cakeml0 B
44ARG CAKEML32_BIN_DIR=/cake-x64-320 B
45ARG CAKEML64_BIN_DIR=/cake-x64-640 B
46COPY /HOL /HOL # buildkit147.54 MB
47COPY /cake-x64-32 /cake-x64-32 # buildkit11.32 MB
48COPY /cake-x64-64 /cake-x64-64 # buildkit12.51 MB
49COPY /cakeml /cakeml # buildkit105.79 MB
50ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo:/HOL/bin0 B
51ARG TARGETPLATFORM=linux/arm640 B
52LABEL ORGANISATION=Trustworthy Systems0 B
53LABEL MAINTAINER=Luke Mondy ([email protected])0 B
54ARG SCM=0 B
55ARG DESKTOP_MACHINE=no0 B
56ARG MAKE_CACHES=yes0 B
57ARG CARGO_HOME=/etc/cargo0 B
58ARG SCRIPT=apply-rust.sh0 B
59COPY scripts /tmp/ # buildkit10.86 KB
60RUN |6 TARGETPLATFORM=linux/arm64 SCM= DESKTOP_MACHINE=no257.71 MB
61ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo:/HOL/bin:/etc/cargo/bin0 B
62ENV CARGO_HOME=/etc/cargo0 B

Command

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