lsf37/sel4test-hw:latest

Manifest digest

sha256:ed2ab3a8f665efa753430fb689ebef66085ef3acd9d11db059d0058c0c6bb1f0

OS/ARCH

linux/amd64

Compressed size

1.26 GB

Last pushed

5 months by lsf37

Type

Image

Manifest digest

sha256:ed2ab3a8f665efa753430fb689ebef66085ef3acd9d11db059d0058c0c6bb1f0

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/28.85 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.27 KB

14RUN |9 TARGETPLATFORM=linux/amd64 SCM= DESKTOP_MACHINE=no70.74 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=no1.09 GB

26ENV LANG=en_AU.UTF-80 B

27RUN /bin/sh -c apt-get update54.17 MB

28RUN /bin/sh -c pip3 install14.99 MB

29ARG SCRIPTS=/ci-scripts0 B

30ARG ACTION=sel4test-hw0 B

31RUN |2 SCRIPTS=/ci-scripts ACTION=sel4test-hw /bin/sh119 B

32COPY sel4test-hw/steps.sh scripts/* /ci-scripts/ #18.42 KB

33RUN |2 SCRIPTS=/ci-scripts ACTION=sel4test-hw /bin/sh18.46 KB

34ENV PATH=/ci-scripts:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/scripts/repo0 B

35RUN |2 SCRIPTS=/ci-scripts ACTION=sel4test-hw /bin/sh111 B

36COPY sel4test-hw/builds.yml sel4test-hw/build.py seL4-platforms/platforms.yml seL4-platforms/platforms.py13.95 KB

37ARG WORKSPACE=/workspace0 B

38RUN |3 SCRIPTS=/ci-scripts ACTION=sel4test-hw WORKSPACE=/workspace116 B

39WORKDIR /workspace32 B

40ENTRYPOINT ["/bin/sh" "-c" "steps.sh"]0 B

Command

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