[devel-distro] What Raspberry Pi 4 kernel

[Sergey V Turchin]

On Thursday, 3 December 2020 12:38:23 MSK Антон Мидюков wrote:

[...]
> iso-образ нет необходимости собирать со спец ядром.
iso-образ есть необходимость собирать со спец ядром ;-)

> На edk2 даже ядро std-def грузится.
У меня rpi4 с std-def и собирается и устанавливается и грузится.

> Но, что на u-boot/efi, что на edk2, rpi-ядро тоже не работает полноценно.
Это я не совсем понял.

[...]

-- 
Regards, Sergey.