New kernel in place. The image does work.
--8<-- vanadis:~% uname -a Linux vanadis 5.15.55-gentoo #2 SMP Fri Aug 5 05:35:35 CEST 2022 riscv64 GNU/Linux vanadis:~% docker run -it --rm --user pike bertrandlupart/pike:8.0.1116-unofficial pike Unable to find image 'bertrandlupart/pike:8.0.1116-unofficial' locally 8.0.1116-unofficial: Pulling from bertrandlupart/pike a436e5274dc3: Pull complete 75bdc1ea0c01: Pull complete 9c69ab496924: Pull complete 41a6657d58fb: Pull complete Digest: sha256:036a319f7132c6a65f94f898ea927dbb651c51d01707d0a8994140c25dc0e2de Status: Downloaded newer image for bertrandlupart/pike:8.0.1116-unofficial Pike v8.0 release 1116 running Hilfe v3.5 (Incremental Pike Frontend) > --8<--
