[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#48314] [PATCH v3] Install guix system on Raspberry Pi
From: |
phodina |
Subject: |
[bug#48314] [PATCH v3] Install guix system on Raspberry Pi |
Date: |
Wed, 20 Jul 2022 07:16:34 +0000 |
Hi Stefan,
> > So now I get some weird guix error during copying files:
>
> > initializing operating system under '/mnt'...
> > copying to '/mnt'... [#################### ]guix system: error: readdir:
> > Bad message
> > copying to '/mnt'...
>
>
> The function make-grub-efi-netboot-installer in gnu/bootloader/grub.scm first
> uses copy-recursively to copy the collection of bootloader files to
> /mnt/boot/efi and creates afterwards the symlinks to /gnu/store and
> /boot/grub/grub.cfg or – as in your case – creates a
> /mnt/boot/efi/efi/boot/grub.cfg to point GRUB to the root partition to access
> /boot/grub/grub.cfg and /gnu/store.
>
> Yesterday your guix system init struggled to create these symlinks. That
> means it was already done with the copy-recursively call.
>
> I’m pretty sure that this copy-recursively is using readdir internally. The
> functionallity afterwards is surely not.
>
> Yesterday you also got the message ‘populating '/mnt'…’ before the symlink
> struggle. Therefore I assume that your current error has nothing to do with
> the bootloader installation.
>
> Maybe there are leftovers from yesterday in /mnt, which prevent guix to copy
> files sucessfully onto /dev/mmcblk0p2?
>
> Reformatting the ext4 filesystem might help.
the issue seems to be connected to my guix instance on the host. I got another
weird messages and what finally help was to clean the profile cache in my home
dir.
I then reformatted the SD card just to be sure.
# parted /dev/mmcblk0
GNU Parted 3.5
Using /dev/mmcblk0
Welcome to GNU Parted! Type 'help' to view a list of commands.
(parted) p
Model: NORELSYS 1081CS0 (scsi)
Disk /dev/mmcblk0: 31.3GB
Sector size (logical/physical): 512B/512B
Partition Table: msdos
Disk Flags:
Number Start End Size Type File system Flags
1 1049kB 269MB 268MB primary fat32 lba
2 269MB 31.3GB 31.0GB primary ext4
And then I also copied the firmware files [1] neccessary to boot:
$ ls /mnt/boot/efi
bcm2708-rpi-b.dtb bcm2710-rpi-2-b.dtb bcm2711-rpi-4-b.dtb efi/
fixup_db.dat start4.elf
bcm2708-rpi-b-plus.dtb bcm2710-rpi-3-b.dtb bcm2711-rpi-cm4.dtb
fixup4cd.dat fixup_x.dat start4x.elf
bcm2708-rpi-b-rev1.dtb bcm2710-rpi-3-b-plus.dtb bcm2711-rpi-cm4s.dtb
fixup4.dat LICENCE.broadcom start_cd.elf
bcm2708-rpi-cm.dtb bcm2710-rpi-cm3.dtb bootcode.bin
fixup4db.dat manifest start_db.elf
bcm2708-rpi-zero.dtb bcm2710-rpi-zero-2.dtb bootloader.txt
fixup4x.dat overlays/ start.elf
bcm2708-rpi-zero-w.dtb bcm2710-rpi-zero-2-w.dtb config.txt
fixup_cd.dat start4cd.elf start_x.elf
bcm2709-rpi-2-b.dtb bcm2711-rpi-400.dtb dtb.txt
fixup.dat start4db.elf u-boot.bin
The board powers up and I see the RGB screen when the raspberrypi boots. Then
it switches to black screen and I don't see any output on the HDMI. Also there
is no IP address assigned on the Ethernet even though the port itself is active.
I haven't run tcpdump or attached serial adapter yet so I don't know what's
wrong and where the system hangs.
I'm testing this on Raspberry Pi 4.
[1] https://github.com/raspberrypi/firmware
----
Petr