From mboxrd@z Thu Jan 1 00:00:00 1970 From: Marius Bakke Subject: bug#28768: guix system vm Failed to install GRUB (EFI) Date: Thu, 19 Oct 2017 20:21:46 +0200 Message-ID: <87infb577p.fsf@fastmail.com> References: <87info3xtj.fsf@gmail.com> <87efqa95x4.fsf@fastmail.com> <877ew0rbxc.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:42181) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e5FSJ-0006J2-1L for bug-guix@gnu.org; Thu, 19 Oct 2017 14:22:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e5FSF-0004Au-PR for bug-guix@gnu.org; Thu, 19 Oct 2017 14:22:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:42015) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1e5FSF-0004Ao-Lq for bug-guix@gnu.org; Thu, 19 Oct 2017 14:22:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1e5FSE-000237-D3 for bug-guix@gnu.org; Thu, 19 Oct 2017 14:22:03 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <877ew0rbxc.fsf@gnu.org> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 28768@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ludovic Court=C3=A8s writes: > Marius Bakke skribis: > >> Oleg Pykhalov writes: >> >>> EFI bootloader configuration causes problems to test with 'system vm' >>> before 'reconfigure'. >> >> This is because `guix system vm` is not currently UEFI enabled, so GRUB >> tries to install for a normal PC BIOS. >> >> The fix would be to make the various QEMU invocations in (gnu system vm) >> take a #:firmware parameter that passes something along the lines of >> '-bios #$(file-append ovmf "/share/ovmf/firmware/ovmf_x64.bin")' to the >> QEMU command-line, and update other scripts to take advantage. > > Perhaps by adding it to records we=E2=80=99d make it le= ss > annoying to pass around? Or are there other places that would still > need extra care? Sorry for late response, still going through a backlog! I think should be sufficient, did not do a lot of research. > Another option, in the meantime is this: > > diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm > index 273a895be..f763b430b 100644 > --- a/gnu/system/vm.scm > +++ b/gnu/system/vm.scm > @@ -565,6 +565,14 @@ environment with the store shared with the host. MA= PPINGS is a list of > user-file-systems))) >=20=20 > (operating-system (inherit os) > + > + ;; XXX: Until we run QEMU with UEFI support (with the OVMF firmware), > + ;; force the traditional i386/BIOS method. > + ;; See . > + (bootloader (bootloader-configuration > + (bootloader grub-bootloader) > + (target "/dev/vda"))) > + > (initrd (lambda (file-systems . rest) > (apply base-initrd file-systems > #:volatile-root? #t > > That=E2=80=99s what I do manually anyway. > > WDYT? If that=E2=80=99s fine with you, I can commit it. LGTM! --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEu7At3yzq9qgNHeZDoqBt8qM6VPoFAlno7TsACgkQoqBt8qM6 VPr9ogf/YfnSnQDGPp05BWXtBeXzSOhYeROgYabI1yqjbrPY9FJIhFHGXL+e4eof AUXe+Wfg2XsI1QXkcG1KJ8H5VviF1Ubuftw2DSIY7l40Kaerj+U9I/6M0ZA6SUa/ JEI4nP7VUWeIu3HPf5g2xPgZmgG5KcFcBs9Kj1Nuwe+Yz7QRcW7xTTrzSwsGW6lm I3KwZ1cT/lBr1EEYWnq3CyCnPzY+TKlkrTYwcK3zWuyllLP6Dgtw5m/UzZXCiicU prj3424ZaPGA5le2JqQU6T79eezoy6K6PtZBCMRQzq8+d5oMMlARt0g/REBm3s41 74cmORod1EOeCr7k/UlHEcwjEqypPw== =/ktA -----END PGP SIGNATURE----- --=-=-=--