[devel-distro] What Raspberry Pi 4 kernel

Sergey V Turchin zerg at altlinux.org
Thu Dec 3 12:58:55 MSK 2020


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

[...]
> Специальное rpi-ядро полноценно работает только через загрузку rpi-шным
> firmware.
Разве у меня ISO с флешки грузится не им?

> Поэтому нужно собирать vm/такой-то.img
Там нет LiveCD, а в ISO есть.

[...]

-- 
Regards, Sergey.


More information about the devel-distro mailing list