[devel-distro] What Raspberry Pi 4 kernel

Дмитрий Терехин jqt4 at basealt.ru
Thu Dec 3 14:06:30 MSK 2020



03.12.2020, 13:26, "Sergey V Turchin" <zerg �� altlinux.org>:
> On Thursday, 3 December 2020 12:38:23 MSK Антон Мидюков wrote:
>
> [...]
>>  iso-образ нет необходимости собирать со спец ядром.
>
> iso-образ есть необходимость собирать со спец ядром ;-)
>
>>  На edk2 даже ядро std-def грузится.
>
> У меня rpi4 с std-def и собирается и устанавливается и грузится.

У меня так сделать не получилось. Получилось только с mp.
Можно узнать подробнее, как вы это сделали и получить ссылку на такой образ, чтобы его изучить.

С уважением,
Дмитрий Терёхин

>
>>  Но, что на u-boot/efi, что на edk2, rpi-ядро тоже не работает полноценно.
>
> Это я не совсем понял.
>
> [...]
>
> --
> Regards, Sergey.
> _______________________________________________
> devel-distro mailing list
> devel-distro �� lists.altlinux.org
> https://lists.altlinux.org/mailman/listinfo/devel-distro


More information about the devel-distro mailing list