[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Booting a Raspberry Pi

From: Wicki Gabriel (wicg)
Subject: Booting a Raspberry Pi
Date: Thu, 26 Oct 2023 12:28:50 +0000

Hello there

I am trying to create an image that boots a Raspberry Pi 4 (64bit) directly 
into Guix.

I failed for quite some time due to the fact that $(guix system image 
my/image.scm) quietly built an EFI binary for x86_64 (my host architecture) 
instead of aarch64 (which is passed to the (image) definition that is returned 
from the my/image.scm file. Is that a bug?  It sure feels like one. Building 
with --system=aarch64-linux​ builds efi for aarch64.

Now I've managed to boot (through EFI) into GRUB (i follow 
guix/gnu/system/examples/raspberry-pi-64.tmpl) but am thrown into the GRUB 
Any ideas of what I might be doing wrong? I am currently building on commit 

I get the following output:

U-Boot 2023.07.02 (Jan 01 1970 - 00:00:01 +0000)
DRAM:  948 MiB (effective 1.9 GiB)
RPI 4 Model B (0xb03112)
Core:  210 devices, 17 uclasses, devicetree: board
MMC:   mmcnr@7e300000: 1, mmc@7e340000: 0
Loading Environment from FAT... Unable to read "uboot.env" from mmc0:1...
In:    serial
Out:   vidconsole
Err:   vidconsole
Net:   eth0: ethernet@7d580000
PCIe BRCM: link up, 5.0 Gbps x1 (SSC)
starting USB...
Bus usb@7e980000: USB DWC2
Bus xhci_pci: Register 5000420 NbrPorts 5
Starting the controller
scanning bus usb@7e980000 for devices... 1 USB Device(s) found
scanning bus xhci_pci for devices... 3 USB Device(s) found
       scanning usb for storage devices... 0 Storage Device(s) found
Hit any key to stop autoboot:  2
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:1...
8Card did not respond to voltage select! : -110
BootOrder not defined
EFI boot manager: Cannot load any image
Found EFI removable media binary efi/boot/bootaa64.efi
286720 bytes read in 32 ms (8.5 MiB/s)
Booting /efi\boot\bootaa64.efi
[?25hWelcome to GRUB!
[2;30HGNU GRUB  version 2.06
[?25h   Minimal BASH-like line editing is supported. For the first word, TAB
   lists possible command completions. Anywhere else TAB lists possible
   device or file completions.

Gabriel Wicki
Research Assistant

ZHAW, Zurich University of Applied Sciences
InES, Institute of Embedded Systems
High Integrity Systems Group

Technikumstrasse 22, Postfach
CH-8401 Winterthur

reply via email to

[Prev in Thread] Current Thread [Next in Thread]