cartesi/linux-kernel:latest

Multi-platform

Index digest

sha256:c43d26ce553ad66803a2bb539078d4764d901f690ccb1ad42c89b0dcc041aa42

OS/ARCH

Compressed size

824.66 MB

Last pushed

about 2 months by tuler

Type

Image

Manifest digest

sha256:73c84ce16d3d1f238de8f5dd7cb8fdcebf2d79c5d651014bbadb725125253bbb

Image Layers

1# debian.sh --arch 'amd64' out/47 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, 03232.57 MB

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

10RUN |3 KERNEL_VERSION=6.5.13-ctsi-2 KERNEL_TIMESTAMP=Mon, 031.29 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.82 MB

20COPY tools tools # buildkit527 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 'amd64' out/ 'trixie' '@1754870400'