Re: [PATCH] system: grub: On MIPS, the linux image name is vmlinuz

[Ludovic Courtès]

I just pushed this and two other non-controversial patches from
‘wip-loongson2f’.

I could continue, because the remainder looks OK too at first glance
(mostly I need to test that the new GRUB works fine here), but I thought
I’d leave you a chance to chime in.  ;-)

So the backlog currently is this:

+ 8692ab8 TEMPORARY_HACK: gnu: gst-plugins-base: Disable tests on MIPS and ARM.
+ 8549720 NON_INTEL_ONLY: services: xorg: Remove xf86-video-intel.
+ 7380191 gnu: grub: Add support for Loongson-based machines.
+ 139588b gnu: grub: Update to 2.02-beta2-502-gc93d3e6.
+ fd70853 gnu: grub: Install documentation.
+ cde6189 gnu: grub: Use modify-phases and other minor cleanups.
+ 4f17937 gnu: Add linux-libre-loongson2f.
+ 61e8280 doc: Add texinfo to the requirements when building from git.
+ 5a45f27 gnu: linux-libre: On MIPS, the linux image name is vmlinuz, not 
bzImage.
+ 4cb1515 gnu: linux-libre: Add case for ARCH=mips.
+ 4917d6a gnu: linux-libre: Add 'supported-systems' field: Intel only for now.

Ludo’.