trustworthysystems/sel4:2026_08_07

Multi-platform

Security

Operating systems

Index digest

sha256:5886b25159a70e0434e74da6a98e86487afc7f48681c6245a16bdc9d7f7c50d2

OS/ARCH

Compressed size

1.01 GB

Last pushed

about 2 months by lsf37

Type

Image

Manifest digest

sha256:1a6af6b0bc2244c164b9048fdced22a8f72936bd25e47a75b857ec38a5e31d97

Image Layers

1# debian.sh --arch 'amd64' out/28.4 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.42 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=no916.3 MB

26ENV LANG=en_AU.UTF-80 B

Command

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