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
shell.
Any ideas of what I might be doing wrong? I am currently building on commit
c4886c0cb608e1b36969f195eb2f7ea25a37ac89.
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
USB XHCI 1.00
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...
[999;999H
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
[0;30;47m
[?25hWelcome to GRUB!
[0;37;40m
[0;37;40m
[0;37;40m
[0;37;40m
[0;37;40m
[1;1H
[0;37;40m
[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.
grub>
--
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
--
E-Mail: w...@zhaw.ch
Web: http://ines.zhaw.ch
