From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Perez, Luis" Subject: booting from usb Date: Tue, 14 May 2019 14:01:28 -0400 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from eggs.gnu.org ([209.51.188.92]:32901) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hQbkF-0002Kg-SG for help-guix@gnu.org; Tue, 14 May 2019 14:01:44 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hQbkF-0001Bl-0f for help-guix@gnu.org; Tue, 14 May 2019 14:01:43 -0400 Received: from mail-oi1-x22e.google.com ([2607:f8b0:4864:20::22e]:44651) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hQbkE-0001AN-H1 for help-guix@gnu.org; Tue, 14 May 2019 14:01:42 -0400 Received: by mail-oi1-x22e.google.com with SMTP id z65so5599660oia.11 for ; Tue, 14 May 2019 11:01:41 -0700 (PDT) List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: help-guix@gnu.org Hi, I'm trying to boot GUIX. I've copied GUIX on to my usb, but I have not been able to boot it sucessfully. According to the instructions I need to access the BIOS to do this. I've read that is done by pressing one of the F keys on startup. However, my laptop has been librebooted so I don't think this is possible. For arch, at least, all I had to do was copy arch to my usb and use the grub prompt to boot from the usb. It seemed to me that it should be the same for GUIX but when I try this I'm just taken back to the initial prompt that asks me what I want to boot from. I'd really appreciate any troubleshooting help. L