Nick Cao d4ffd4aa09 ubootRock{,Pro}64: drop extraMakeFlags as the u-boot.itb target has been removed		2023-07-11 10:41:57 +08:00
..
0001-configs-rpi-allow-for-bigger-kernels.patch	u-boot: embiggen RPi kernel allocation again, again	2022-05-26 19:37:45 +03:00
default.nix	ubootRock{,Pro}64: drop extraMakeFlags as the u-boot.itb target has been removed	2023-07-11 10:41:57 +08:00