[devel-distro] What Raspberry Pi 4 kernel

[Дмитрий Терехин]

03.12.2020, 13:22, "Антон Мидюков" <midyukov-anton �� ya.ru>:
> 03.12.2020 16:58, Sergey V Turchin пишет:
>>  On Thursday, 3 December 2020 12:38:23 MSK Антон Мидюков wrote:
>>
>>  [...]
>>>  Специальное rpi-ядро полноценно работает только через загрузку rpi-шным
>>>  firmware.
>>  Разве у меня ISO с флешки грузится не им?
>
> Не напрямую, разумеется. Оно грузит edk2 или u-boot, а далее EFI грузит
> iso. В этом режиме не всё работает.
>>>  Поэтому нужно собирать vm/такой-то.img
>>  Там нет LiveCD, а в ISO есть.
>
> Это понятно. Но деваться то куда, когда полноценно через u-boot или edk2
> ядро не работает? Делать rootfs, в котором всё работает отлично.

Да, при загрузке из iso образа работает не всё.
Однако, если iso образ используется только как инсталлятор, этого может оказаться достаточно.
А инсталлятор может установить систему, которая во всём подобна предустановленной rootfs,
и в которой всё работает, но при этом она кастомизирована админом при инсталляции.
Для сервера мне это представляется важным (правда, я не умею администрировать сервер),
поскольку лишняя программа это лишняя потенциальная дыра.

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

>>  [...]
> --
> С уважением, Антон Мидюков <antohami �� altlinux.org>
>
> _______________________________________________
> devel-distro mailing list
> devel-distro �� lists.altlinux.org
> https://lists.altlinux.org/mailman/listinfo/devel-distro