Sign inSign up

trustworthysystems/sel4:2026_06_18

Multi-platform
Security
Operating systems
Index digest

sha256:abbdc72c55cb4293bffbf47224c9f1a5d77dc039d0fec988da515be9d6ebc7c4

OS/ARCH

Compressed size

1.01 GB

Last pushed

4 months by lsf37

Type

Image

Manifest digest

sha256:9312b56e04ed4937aaa6107a930556abc17052c8b6135509339d39ed8e378de9

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/28.41 MB
2ARG TARGETPLATFORM=linux/amd640 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.82 KB
14RUN |9 TARGETPLATFORM=linux/amd64 SCM= DESKTOP_MACHINE=no92.38 MB
15ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo0 B
16ARG TARGETPLATFORM=linux/amd640 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/ # buildkit32 B
25RUN |6 TARGETPLATFORM=linux/amd64 SCM= DESKTOP_MACHINE=no915.89 MB
26ENV LANG=en_AU.UTF-80 B

Command

# debian.sh --arch 'amd64' out/ 'trixie' '@1781049600'