[devel-distro] What Raspberry Pi 4 kernel

Sergey V Turchin zerg at altlinux.org
Thu Dec 3 11:30:07 MSK 2020

Привет всем!

А какое ядро использовать для Raspberry Pi 4?

А то я добавил use/arm-rpi4/kernel, а mkimage мне сказал:
** CONFIG_OVERLAY_FS available
** CONFIG_SQUASHFS available
** CONFIG_EFI available
** error: stage1 kernel must have EFI_VARS support
mki-scripts: /tmp/.private/zerg/mkimage-profiles.build.vzjo269/stage1/
scripts.d/03-test-kernel: unable to run script.

Regards, Sergey.

More information about the devel-distro mailing list