solo5-kernel-ukvm 0.1.1

Error log

The package failed to build. The error log from opam follows.

The following actions will be performed:
=== install 2 packages
  - install conf-pkg-config   4
  - install solo5-kernel-ukvm 0.1.1 (deprecated)

The following system packages will first need to be installed:
    pkg-config

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>

opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
  2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
  3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
  4. Abort the installation

[1/2/3/4] 1

+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libpkgconf3:amd64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18776 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-pkg-config.4
-> retrieved solo5-kernel-ukvm.0.1.1  (cached)
[ERROR] The compilation of solo5-kernel-ukvm.0.1.1 failed at "make ukvm".

#=== ERROR while compiling solo5-kernel-ukvm.0.1.1 ============================#
# context              2.3.0 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path                 ~/.opam/5.1/.opam-switch/build/solo5-kernel-ukvm.0.1.1
# command              /usr/bin/make ukvm
# exit-code            2
# env-file             ~/.opam/log/solo5-kernel-ukvm-113-10c1eb.env
# output-file          ~/.opam/log/solo5-kernel-ukvm-113-10c1eb.out
### output ###
# /usr/bin/make -C kernel ukvm
# make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/solo5-kernel-ukvm.0.1.1/kernel'
# cc -nostdinc -isystem /usr/lib/gcc/x86_64-linux-gnu/12/include -ffreestanding -mno-red-zone -mno-3dnow -std=gnu99 -Wall -Wextra -Werror -O2 -g -c ee_printf.c -o ee_printf.o
# ee_printf.c: In function 'vsnprintf':
# ee_printf.c:619:19: error: this statement may fall through [-Werror=implicit-fallthrough=]
#   619 |             flags |= UPPERCASE;
#       |                   ^
# ee_printf.c:621:9: note: here
#   621 |         case 'a':
#       |         ^~~~
# ee_printf.c:636:19: error: this statement may fall through [-Werror=implicit-fallthrough=]
#   636 |             flags |= UPPERCASE;
#       |                   ^
# ee_printf.c:638:9: note: here
#   638 |         case 'x':
#       |         ^~~~
# cc1: all warnings being treated as errors
# make[1]: *** [Makefile:75: ee_printf.o] Error 1
# make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/solo5-kernel-ukvm.0.1.1/kernel'
# make: *** [Makefile:28: ukvm] Error 2



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build solo5-kernel-ukvm 0.1.1
+- 
+- The following changes have been performed
| - install conf-pkg-config 4
+- 

<><> solo5-kernel-ukvm.0.1.1 troubleshooting ><><><><><><><><><><><><><><><><><>
=> Note: This package is deprecated.
# To update the current shell environment, run: eval $(opam env)

The former state can be restored with:
    /usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20250204023141.export"