[devel-distro] What Raspberry Pi 4 kernel

[Антон Мидюков]

03.12.2020 15:30, 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.
>
iso-образ нет необходимости собирать со спец ядром. На edk2 даже ядро 
std-def грузится. Но, что на u-boot/efi, что на edk2, rpi-ядро тоже не 
работает полноценно. Так что смысла особого нет.

Специальное rpi-ядро полноценно работает только через загрузку rpi-шным 
firmware. Поэтому нужно собирать vm/такой-то.img с добавлением фичи 
use/arm-rpi4. Как это делали для Workstation, Education, Simply.

Фича arm-rpi4 не заточена для сборки iso.

Если хочется собрать iso с ядром rpi, то нужно сделать:

@$(call set,KFLAVOURS,rpi-def)

или

@$(call set,KFLAVOURS,rpi-un)

Отдельные настройки, которые делаются в скриптах фичи, нужно будет 
превратить в пакет installer-features-rpi. Но, как я писал выше, смысла 
в отдельном iso с ядром rpi не вижу.

-- 
С уважением, Антон Мидюков <antohami �� altlinux.org>