Sign inSign up

cartesi/linux-kernel:0.16.0

Manifest digest

sha256:6f34ff10e992859c6def32a271ff3c486c9ba201acb10c67b1d5d21f48443974

OS/ARCH

linux/amd64

Compressed size

1.14 GB

Last pushed

over 3 years by vfusco

Type

Image

Manifest digest

sha256:6f34ff10e992859c6def32a271ff3c486c9ba201acb10c67b1d5d21f48443974

Image Layers

Image Layers

1ARG RELEASE0 B
2ARG LAUNCHPAD_BUILD_ARCH0 B
3LABEL org.opencontainers.image.ref.name=ubuntu0 B
4LABEL org.opencontainers.image.version=22.040 B
5ADD file ... in / 28.16 MB
6CMD ["/bin/bash"]0 B
7LABEL maintainer=Diego Nehab <[email protected]>0 B
8ARG KERNEL_VERSION # define on0 B
9ARG TOOLCHAIN_CONFIG=configs/ct-ng-config-default0 B
10ENV DEBIAN_FRONTEND=noninteractive0 B
11ENV BASE=/opt/riscv0 B
12ENV BUILD_BASE=/tmp/build0 B
13RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=152 B
14RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=148.37 MB
15COPY entrypoint.sh /usr/local/bin/entrypoint.sh # buildkit1.04 KB
16RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=1.04 KB
17RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=21.11 KB
18RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=3.04 MB
19RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=3.93 KB
20RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=148 B
21COPY configs/ct-ng-config-default /tmp/build/toolchain/.config # buildkit6.08 KB
22RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=6.12 KB
23USER developer0 B
24COPY linux-5.15.63-ctsi-1.tar.gz /tmp/build/linux-5.15.63-ctsi-1.tar.gz # buildkit186.24 MB
25RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=114.46 MB
26USER root0 B
27ENV CARGO_HOME=/opt/.cargo/0 B
28ENV RUSTUP_HOME=/opt/.rustup/0 B
29ENV PATH=/opt/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
30RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=147.22 MB
31RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=305 B
32RUN |8 KERNEL_VERSION=5.15.63-ctsi-1 #= define=121.45 MB
33ENV PATH=/opt/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/riscv/riscv64-cartesi-linux-gnu/bin0 B
34ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]0 B
35WORKDIR /opt/riscv32 B
36CMD ["/bin/bash" "-l"]0 B
37LABEL maintainer=Diego Nehab <[email protected]>0 B
38ARG KERNEL_VERSION=5.15.63-ctsi-20 B
39ARG RISCV_PK_VERSION=1.0.0-ctsi-10 B
40ENV DEBIAN_FRONTEND=noninteractive0 B
41ENV OLDPATH=/opt/.cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/riscv/riscv64-cartesi-linux-gnu/bin0 B
42ENV BUILD_BASE=/opt/riscv/kernel0 B
43RUN |2 KERNEL_VERSION=5.15.63-ctsi-2 RISCV_PK_VERSION=1.0.0-ctsi-1 /bin/sh186 B
44WORKDIR /opt/riscv/kernel32 B
45USER developer0 B
46COPY dep/linux-5.15.63-ctsi-2.tar.gz /opt/riscv/kernel/dep/ # buildkit186.19 MB
47RUN |2 KERNEL_VERSION=5.15.63-ctsi-2 RISCV_PK_VERSION=1.0.0-ctsi-1 /bin/sh190.16 MB
48COPY dep/riscv-pk-1.0.0-ctsi-1.tar.gz /opt/riscv/kernel/dep/ # buildkit236.57 KB
49RUN |2 KERNEL_VERSION=5.15.63-ctsi-2 RISCV_PK_VERSION=1.0.0-ctsi-1 /bin/sh239.75 KB
50COPY cartesi-linux-config /opt/riscv/kernel/work/linux/.config # buildkit974 B
51COPY build.mk build.mk # buildkit1.39 KB
52RUN |2 KERNEL_VERSION=5.15.63-ctsi-2 RISCV_PK_VERSION=1.0.0-ctsi-1 /bin/sh46.22 MB
53USER root0 B
54WORKDIR /opt/riscv32 B
55CMD ["/bin/bash" "-l"]0 B

Command

 ARG RELEASE