diff options
author | Leah Rowe <leah@libreboot.org> | 2025-01-06 16:53:12 +0000 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2025-01-06 17:26:51 +0000 |
commit | de6d2f556f16cae1a2c038f50d90a3a3945e3d42 (patch) | |
tree | 55f5270c2603cbb034c47f5f36a5de22eb5c0755 /config/grub/nvme/patches/0004-Define-GRUB_UINT32_MAX.patch | |
parent | 4210ee68ea25dd41c05f3a2a6d8880e5aedeb2c3 (diff) |
pico-sdk: Import picotool as a dependency
We were previously not handling picotool at all, and
pico-sdk would download picotool itself, at build time.
This means that the source archive, if created, would
not contain picotool. While not strictly required, for
complete corresponding source, since it's a toolchain
and not the actual pico-serprog firmware, it is my policy
that releases must include full corresponding source code,
when it is feasible to do so.
I must say, I intensely dislike cmake, with such burning
passion; I am thoroughly displeased by how hacky this is,
but it works and now nothing is in my way for a Libreboot
20241206 rev8 release!
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/grub/nvme/patches/0004-Define-GRUB_UINT32_MAX.patch')
0 files changed, 0 insertions, 0 deletions