[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] system: grub: On MIPS, the linux image name is vmlinuz
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH] system: grub: On MIPS, the linux image name is vmlinuz |
|
Date: |
Thu, 27 Aug 2015 23:20:41 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
Mark H Weaver <address@hidden> skribis:
> From a15b9a1eedd5b110b94e13f0fea17323aa1e160e Mon Sep 17 00:00:00 2001
> From: Mark H Weaver <address@hidden>
> Date: Wed, 19 Aug 2015 16:30:02 -0400
> Subject: [PATCH] system: grub: On MIPS, the linux image name is vmlinuz, not
> bzImage.
>
> * gnu/system/grub.scm (grub-configuration-file): Add 'linux-image-name'
> internal procedure. Use it from 'entry->gexp'.
LGTM, thanks!
Ludo’.