3a851d4557
The previous workaround stopped the preboot phase from loading USB support, which makes it impossible to use a USB keyboard to select a generation from the boot menu without using a serial console. * gnu/packages/patches/u-boot-rockchip-inno-usb.patch: New File. * gnu/local.mk (dist_patch_DATA): Add patch. * gnu/packages/bootloaders.scm (%u-boot-rockchip-inno-usb-patch): New variable. (u-boot)[source]: Add patch. (u-boot-rockpro64-rk3399, u-boot-pinebook-pro-rk3399): Remove obsolete phase. |
||
---|---|---|
.. | ||
bootloader | ||
build | ||
installer | ||
machine | ||
packages | ||
services | ||
system | ||
tests | ||
artwork.scm | ||
bootloader.scm | ||
ci.scm | ||
image.scm | ||
installer.scm | ||
local.mk | ||
machine.scm | ||
packages.scm | ||
services.scm | ||
system.scm | ||
tests.scm |