cartesi/linux-kernel:latest

Multi-platform

Index digest

sha256:c43d26ce553ad66803a2bb539078d4764d901f690ccb1ad42c89b0dcc041aa42

OS/ARCH

Compressed size

814.03 MB

Last pushed

about 2 months by tuler

Type

Image

Manifest digest

sha256:90aa545f0efa0f23e084ea46154fced01dadaf862754a5f2309d974e0204c78f

Image Layers

1# debian.sh --arch 'arm64' out/47.34 MB

2ARG KERNEL_VERSION=0.0.0-ctsi-y0 B

3ARG KERNEL_TIMESTAMP=Thu, 01 Jan 19700 B

4ARG OPENSBI_VERSION=0.0.0-ctsi-y0 B

5ENV DEBIAN_FRONTEND=noninteractive0 B

6ENV BASE=/opt/riscv0 B

7ENV BUILD_BASE=/opt/riscv/kernel0 B

8RUN |3 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 03221.29 MB

9RUN |3 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 0320.21 MB

10RUN |3 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 031.28 KB

11WORKDIR /opt/riscv/kernel34 B

12USER developer0 B

13COPY --chown=developer:developer dep/linux-6.5.13-ctsi-2.tar.gz /opt/riscv/kernel/dep/ #216.43 MB

14RUN |3 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 03230.72 MB

15COPY --chown=developer:developer dep/opensbi-1.3.1-ctsi-2.tar.gz /opt/riscv/kernel/dep/ #394.66 KB

16RUN |3 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 03411.77 KB

17ARG IMAGE_KERNEL_VERSION=0.0.00 B

18COPY build.mk build.mk # buildkit1.7 KB

19RUN |4 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 0374.84 MB

20COPY tools tools # buildkit530 B

21RUN |4 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 031.2 MB

22RUN |4 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 031.2 MB

23USER root0 B

24WORKDIR /opt/riscv34 B

25CMD ["/bin/bash" "-l"]0 B

Command

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