[devel-distro] What Raspberry Pi 4 kernel

[Sergey V Turchin]

Привет всем!

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

А то я добавил use/arm-rpi4/kernel, а mkimage мне сказал:
** CONFIG_OVERLAY_FS available
** CONFIG_SQUASHFS available
** CONFIG_EFI available
** CONFIG_EFI_PARTITION 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.