From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id sCPuBu/nAmASVwAA0tVLHw (envelope-from ) for ; Sat, 16 Jan 2021 13:19:43 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id cD6pAu/nAmDKCQAAbx9fmQ (envelope-from ) for ; Sat, 16 Jan 2021 13:19:43 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 7CF669402A7 for ; Sat, 16 Jan 2021 13:19:42 +0000 (UTC) Received: from localhost ([::1]:52532 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l0lUS-0006ZZ-Fp for larch@yhetil.org; Sat, 16 Jan 2021 08:19:40 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:54080) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l0lU0-0006ZO-KB for help-guix@gnu.org; Sat, 16 Jan 2021 08:19:14 -0500 Received: from knopi.disroot.org ([178.21.23.139]:39418) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l0lTs-0004GM-01 for help-guix@gnu.org; Sat, 16 Jan 2021 08:19:11 -0500 Received: from localhost (localhost [127.0.0.1]) by disroot.org (Postfix) with ESMTP id AE5E5535A0; Sat, 16 Jan 2021 14:19:00 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at disroot.org Received: from knopi.disroot.org ([127.0.0.1]) by localhost (disroot.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 090c5hPq0-Zv; Sat, 16 Jan 2021 14:18:59 +0100 (CET) Mime-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=disroot.org; s=mail; t=1610803138; bh=hwHKSPAb0rptToD/LcKVTcM+bS+u7Xjr8I6N8A3Qccw=; h=Date:From:Subject:To:In-Reply-To:References; b=Z0bPeI9c13Jwc77oMkRSd3MT5PkW+7DrS6hT9dg60eEMhSbGmdVjblk/gEKK5rBRq iO3OQsV0hqQDAO4BI1GsbsGmC5yX/+J3msrz+WTgTm3aiCgQiCQozfzvHhs1P75RgU 9u4HLLFQpwKXWptU5jBVUI9I/6+j6JCcFa6h2dXrMdKFSgjHEjGCVZC1j5pYo3sl/b EW7zStqEv2dpjcdAljc8EkPZqgqoU42sos/uqdenOWcEOSEhKed/LGP4aVSPDlzgFd aro9UVSuce7PB8GtNjqFDjEN2ocewMFlI4EoPGKcYwpDNLKE3HZ4xGtvsBAm9bo2ap PRDYI77Oup+Hg== Date: Sat, 16 Jan 2021 13:18:57 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable From: znavko@disroot.org Message-ID: Subject: Re: efi dual boot issue To: "kevinbanjo" , help-guix@gnu.org In-Reply-To: References: Received-SPF: pass client-ip=178.21.23.139; envelope-from=znavko@disroot.org; helo=knopi.disroot.org X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -1.06 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=disroot.org header.s=mail header.b=Z0bPeI9c; dmarc=pass (policy=quarantine) header.from=disroot.org; spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Migadu-Queue-Id: 7CF669402A7 X-Spam-Score: -1.06 X-Migadu-Scanner: scn0.migadu.com X-TUID: M/kW0eoaux2T You can find some examples on github with 'guix config'.=0AI have EFI Dua= l boot configuration here=0Ahttps://gitgud.io/znavko/guix-configs/-/blob/= master/guix-config-dual-boot.scm=0A=0Abootloader field lookslike this:=0A= =0A (bootloader (bootloader-configuration (bootloader grub-efi-bootloa= der) (target "/boot/efi") (menu-entries (list (menu-entry = (label "Ubuntu") (linux "(hd2,gpt3)/boot/vmlin= uz") (linux-arguments '("root=3D/dev/sdc3")) = (initrd "(hd2,gpt3)/boot/initrd.img")))))) =0A=0AThis bootloader configu= ration was made when I tried=0Ato boot Ubuntu with grub command line.=0AI= 've found with grub's 'ls' command a linuz image =0Aand initrd file and b= ooted successfully.=0AAfter that I was sure such config will work.=0A=0A= I can't imagine troubles you will have with MS Windows.=0AMay be easier i= t will be to use two different hard disks =0Aand to change their order in= BIOS?=0A=0A=0AJanuary 15, 2021 9:24 PM, "kevinbanjo" wrote:=0A=0A> Hi everyone. I'm trying to install a dual boot with win= dows 10 btrfs root=0A> GuixSD and I have a catch 22 I can't figure out ho= w to resolve:=0A> =0A> When I go to generate the system it says that grub= -install didn't work (I=0A> can't remember exactly why and I was in conso= le mode so I couldn't=0A> copy/paste the error but the gist of it was tha= t it was because I booted in=0A> bios mode).=0A> =0A> I had to go into bi= os and disable my legacy boot and windows still boots=0A> but I can't boo= t the GuixSD USB ISO.=0A> =0A> It's an HP laptop and when I hit ESC durin= g boot and select boot options it=0A> walks me thru the EFI boot files an= d I picked both the boot files and it=0A> just returns to the boot menu.= =0A> =0A> I also tried hard resetting my laptop (unplugging it, pulling o= ut the=0A> battery and holding the power button down for a while) plus bo= oting windows=0A> into recovery mode and letting it try and fix the boot = (which probably only=0A> did the windows one as that was the only one tha= t showed up) and still=0A> nothing.=0A> =0A> How do I build an EFI boot i= f I can't boot GuixSD ISO as EFI?=0A> =0A> TIA,=0A> -Kevin