diff options
| author | Leah Rowe <leah@libreboot.org> | 2023-09-25 00:40:56 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2023-09-25 00:51:03 +0100 |
| commit | a7b767a47bdef371ee146afb052d0723736ea662 (patch) | |
| tree | 0b5ec00bc4155217073e0b4a59412c06044a1606 /config/git/grub | |
| parent | 7966f9111d9002d39903abd4b4a39ef1c9e10f54 (diff) | |
update/repos: concatenate multiple revision files
With this change, it's still possible to have a single
file at config/git/revisions, but this has been scrapped.
Instead, multiple files now exist under config/git/ with
the same modules declared, but the files are separated
logically. List of files under config/git:
* bios_extract
* biosutilities
* coreboot
* flashrom
* grub (gnulib also defined here)
* me_cleaner
* memtest86plus
* seabios
* serprog (multiple projects defined)
* u-boot
* uefitool
The rationale behind this change is simple: in the future,
we will stop relying on build systems within imported
projects for the import of git submodules. Instead, we
will handle them directly in lbmk.
Additionally, a Linux payload is planned for Libreboot, made
easier by the recent audit (script handle/make/config makes
it easy to integrate Linux, and handle cross-compilers for
userland utilities); a "linux" file under config/git/ could
also define rules for each project besides linux, such as
musl libc, busybox and other utilities.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/git/grub')
| -rw-r--r-- | config/git/grub | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/config/git/grub b/config/git/grub new file mode 100644 index 00000000..e48feca3 --- /dev/null +++ b/config/git/grub @@ -0,0 +1,13 @@ +{grub}{ + rev: db1faedccdce3cf83336155a95c04a8db03744c5 + loc: grub + url: git://git.savannah.gnu.org/grub.git + bkup_url: http://git.savannah.gnu.org/r/grub.git + depend: gnulib +} + +{gnulib}{ + rev: 9f48fb992a3d7e96610c4ce8be969cff2d61a01b + loc: grub/gnulib + url: git://git.sv.gnu.org/gnulib +} |