Sign inSign up

trustworthysystems/l4v:2025_04_17

Security
Operating systems
Manifest digest

sha256:238aba29f01ab5f9d46ff3684b02823fb42f7426a6b0bdab27a41311415a225d

OS/ARCH

linux/amd64

Compressed size

3.76 GB

Last pushed

over 1 year by lsf37

Type

Image

Manifest digest

sha256:238aba29f01ab5f9d46ff3684b02823fb42f7426a6b0bdab27a41311415a225d

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/28.86 MB
2ARG TARGETPLATFORM0 B
3LABEL ORGANISATION=Trustworthy Systems0 B
4LABEL MAINTAINER=Luke Mondy ([email protected])0 B
5ARG SCM0 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.27 KB
14RUN |9 TARGETPLATFORM=linux/amd64 SCM= DESKTOP_MACHINE=no70.73 MB
15ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo0 B
16ARG TARGETPLATFORM0 B
17LABEL ORGANISATION=Trustworthy Systems0 B
18LABEL MAINTAINER=Luke Mondy ([email protected])0 B
19ARG SCM0 B
20ARG DESKTOP_MACHINE=no0 B
21ARG USE_DEBIAN_SNAPSHOT0 B
22ARG MAKE_CACHES=yes0 B
23ARG SCRIPT=sel4.sh0 B
24COPY scripts /tmp/ # buildkit32 B
25RUN |6 TARGETPLATFORM=linux/amd64 SCM= DESKTOP_MACHINE=no1.09 GB
26ENV LANG=en_AU.UTF-80 B
27ARG TARGETPLATFORM0 B
28LABEL ORGANISATION=Trustworthy Systems0 B
29LABEL MAINTAINER=Luke Mondy ([email protected])0 B
30ARG SCM0 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/ # buildkit32 B
38RUN |8 TARGETPLATFORM=linux/amd64 SCM= USE_DEBIAN_SNAPSHOT=809.24 MB
39ARG TARGETPLATFORM0 B
40LABEL ORGANISATION=Trustworthy Systems0 B
41LABEL MAINTAINER=Luke Mondy ([email protected])0 B
42COPY res/isabelle_settings /tmp # buildkit591 B
43ENV NEW_ISABELLE_SETTINGS=/tmp/isabelle_settings0 B
44ARG SCM0 B
45ARG DESKTOP_MACHINE=no0 B
46ARG USE_DEBIAN_SNAPSHOT0 B
47ARG MAKE_CACHES=yes0 B
48COPY scripts /tmp/ # buildkit10.27 KB
49RUN |5 TARGETPLATFORM=linux/amd64 SCM= DESKTOP_MACHINE=no1.78 GB

Command

# debian.sh --arch 'amd64' out/ 'bullseye' '@1743984000'