summaryrefslogtreecommitdiff
path: root/config/grub/patches/0002-luks2/0004-Define-GRUB_UINT32_MAX.patch
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2023-12-23 13:06:30 +0000
committerLeah Rowe <leah@libreboot.org>2023-12-23 13:06:30 +0000
commit25f9d9480fb61e0dd860560d46d8d433565aeb01 (patch)
treec93f47d38fe58c92db824c2ffa428fd603382be6 /config/grub/patches/0002-luks2/0004-Define-GRUB_UINT32_MAX.patch
parente0fee7a4375f92f0540d9fc36f1529ab2049dad9 (diff)
git/pico-serprog: update revision again
riku committed a new patch, that fixes build errors when PICO_DEFAULT_LED_PIN is not defined, on a given board. in such cases, riku's new patch just disables handling of the status LED, but LEDs continue to work on boards where it is defined. Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/grub/patches/0002-luks2/0004-Define-GRUB_UINT32_MAX.patch')
0 files changed, 0 insertions, 0 deletions