On Tue, 9 Jun 2026 at 14:42, Gerd Hoffmann <[email protected]> wrote: > The rpi4 with tcg takes quite some time indeed, but edk2 isn't > exceptionally slow. Booting until the kernel panics because there is no > root filesystem takes ~30 seconds, and those are roughly 50% / 50% > splitted between firmware and kernel.
Put another way, booting via EDK2 is doubling the time taken :-) > A good chunk of the firmware time > is probably the zboot efi stub for kernel self-decompression (would have > to instrument the firmware for more details on that). > > Comparing that to direct boot without firmware does not work for me: > > unable to handle EFI zboot image with "zstd" compression > qemu-system-aarch64: could not load kernel > '/boot/vmlinuz-7.0.11-200.fc44.aarch64' That error happens if you didn't have libzstd-dev available when you built QEMU. A QEMU with zstd support should be able to decompress a zstd EFI image. thanks -- PMM
