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 gFDBCeZNAmA3BgAA0tVLHw (envelope-from ) for ; Sat, 16 Jan 2021 02:22:30 +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 MOV2BeZNAmCsQAAAbx9fmQ (envelope-from ) for ; Sat, 16 Jan 2021 02:22:30 +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 853F49403A6 for ; Sat, 16 Jan 2021 02:22:29 +0000 (UTC) Received: from localhost ([::1]:45630 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l0bER-0001yk-2t for larch@yhetil.org; Fri, 15 Jan 2021 21:22:27 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:59842) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l0bEF-0001yd-V5 for help-guix@gnu.org; Fri, 15 Jan 2021 21:22:15 -0500 Received: from mx1.dismail.de ([78.46.223.134]:8557) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l0bED-0008K2-7Y for help-guix@gnu.org; Fri, 15 Jan 2021 21:22:15 -0500 Received: from mx1.dismail.de (localhost [127.0.0.1]) by mx1.dismail.de (OpenSMTPD) with ESMTP id 6a7e8b49; Sat, 16 Jan 2021 03:22:06 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=dismail.de; h= mime-version:date:content-type:content-transfer-encoding:from :message-id:subject:to:in-reply-to:references; s=20190914; bh=io O2lCreINY5XIMzeS0x7t/jgJJzo0ouTC3oJs3WGUE=; b=OlKFRsc8n2Z2hvud6L TQGphyxMtL7Ah15ObzrQUYFYcr44hFD6VGP9M+pwmU4yADo5wK/kzUrq+Prcth7m H737ml/gGdQ9FX/Ea9Uchtbf+ubvL+5Y1oTJcPZ4EWrE0cMnozLG9iDbwFEYPfZ1 4nWtuVIvEzRPdVJcdyBw+mZGCihilk5+C/XIqlDiffrylCmBl6esLuCTT4FpRT5V 4KK/Do50RYatNeH77hPJGhoqPoWaDYAXLmXup7xjtdcDMQEd9aOByDqI/lyXjX0z Ies0vL4UQltpOx5SOw3a/lM004BTlmQxGB586zlJKJCaVE+MikZO5DHFiaM9FEbp AeGQ== Received: from smtp1.dismail.de ( [10.240.26.11]) by mx1.dismail.de (OpenSMTPD) with ESMTP id e9aee93c; Sat, 16 Jan 2021 03:22:06 +0100 (CET) Received: from smtp1.dismail.de (localhost [127.0.0.1]) by smtp1.dismail.de (OpenSMTPD) with ESMTP id 65823f28; Sat, 16 Jan 2021 03:22:06 +0100 (CET) Received: by dismail.de (OpenSMTPD) with ESMTPSA id 62ca4f04 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 16 Jan 2021 03:22:05 +0100 (CET) MIME-Version: 1.0 Date: Sat, 16 Jan 2021 02:22:04 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: RainLoop/1.14.0a From: jbranso@dismail.de Message-ID: <0c4dcb1753fca7a2eb640137186c3d5b@dismail.de> Subject: Re: efi dual boot issue To: "kevinbanjo" , help-guix@gnu.org In-Reply-To: References: Received-SPF: pass client-ip=78.46.223.134; envelope-from=jbranso@dismail.de; helo=mx1.dismail.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, RCVD_IN_DNSWL_MED=-2.3, 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: -3.06 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=dismail.de header.s=20190914 header.b=OlKFRsc8; dmarc=pass (policy=reject) header.from=dismail.de; 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: 853F49403A6 X-Spam-Score: -3.06 X-Migadu-Scanner: scn0.migadu.com X-TUID: s4V5DB0jFy8r Hello,=0A=0AWhat kind of hardware do you have? Laptop? Desktop? What pr= ocessor?=0A=0AThat kind of information would be helpful. =0A=0AAlso, not= e that I have never dual booted GNU/Linux and windows. I just use =0AGNU= . I think your problem amounts to configuring the bootloader section =0A= in config.scm incorrectly. =0A=0AThere are two ways to boot up a computer= : bios mode or EFI. =0A=0Ahttps://guix.gnu.org/manual/en/guix.html#Manua= l-Installation=0A=0ANote: Unsure whether to use EFI- or BIOS-based GRUB? = If the directory /sys/firmware/efi =0Aexists in the installation image, t= hen you should probably perform an EFI installation, =0Ausing grub-efi-bo= otloader. Otherwise you should use the BIOS-based GRUB, known as =0Agrub-= bootloader. See Bootloader Configuration, for more info on bootloaders. = =0A=0AWhen you boot up the installation image does the director "/sys/fir= mware/efi"=0Aexist? If so, then you are booting via EFI, and you should = follow the directions=0Ain the manual via EIF installation: namely you n= eed an EFI partition:=0A=0Amkfs.fat -F32 /dev/sda1; =0A=0AAnd you need to= specify this EFI partition in your config.com:=0A=0A(file-system=0A (t= ype "vfat") =0A (mount-point "/boot/sda1")=0A (device "/dev/sda1"))= =0A=0AAnd you need to use the EFI bootloader in config.scm:=0A=0A (bootlo= ader (bootloader-configuration=0A (bootloader grub-efi-boo= tloader)=0A (target "/boot/efi")))=0A=0AIf this is a bios = only install, then you need to use the bios bootloader in your config:=0A= =0A(bootloader-configuration=0A (bootloader grub-bootloader)=0A (target= "/dev/sda"))=0A=0ADoes that help?=0A=0AThanks,=0A=0AJoshua=0A=0AJanuary = 15, 2021 4:24 PM, "kevinbanjo" wrote:=0A=0A> Hi ev= eryone. I'm trying to install a dual boot with windows 10 btrfs root=0A> = GuixSD and I have a catch 22 I can't figure out how 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 console mode so I couldn't= =0A> copy/paste the error but the gist of it was that it was because I bo= oted in=0A> bios mode).=0A> =0A> I had to go into bios and disable my leg= acy boot and windows still boots=0A> but I can't boot the GuixSD USB ISO.= =0A> =0A> It's an HP laptop and when I hit ESC during boot and select boo= t options it=0A> walks me thru the EFI boot files and I picked both the b= oot files and it=0A> just returns to the boot menu.=0A> =0A> I also tried= hard resetting my laptop (unplugging it, pulling out the=0A> battery and= holding the power button down for a while) plus booting 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 that showed up) and sti= ll=0A> nothing.=0A> =0A> How do I build an EFI boot if I can't boot GuixS= D ISO as EFI?=0A> =0A> TIA,=0A> -Kevin