[devel-distro] What Raspberry Pi 4 kernel

Aleksey Novodvorsky aen at basealt.ru
Thu Dec 3 11:34:33 MSK 2020


чт, 3 дек. 2020 г., 11:30 Sergey V Turchin <zerg at altlinux.org>:

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

Пока только специальное.
Полноценная поддержка в апстримнои с 5.10LTS.

Rgrds, Алексей

>
> А то я добавил 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.
> _______________________________________________
> devel-distro mailing list
> devel-distro at lists.altlinux.org
> https://lists.altlinux.org/mailman/listinfo/devel-distro
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.altlinux.org/pipermail/devel-distro/attachments/20201203/31941f69/attachment.html>


More information about the devel-distro mailing list