Our recent experiments demonstrate the kernel can be shrunk down to almost 3MB by garbage collecting unneeded code, extracting ZFS code into a library, and keeping only drivers needed to boot on Firecracker and QEMU microVM - .
More about (404) https://groups.google.com/g/osv-dev/c/QOvvpdJdwNs/m/RzhRSWSPBQAJ