[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: U-Boot for Raspberry Pi
From: |
Stefan |
Subject: |
Re: U-Boot for Raspberry Pi |
Date: |
Mon, 1 Nov 2021 00:09:16 +0100 |
Hi!
There is already a patch series available since May – patiently awaiting a
review –, which brings support for the Raspberry Pi. It even supports booting
via NFS, which helps to avoid all the common troubles with microSD cards.
For the usual mircoSD card installation just partition and format it as usual,
and put the well known bootloader blob on the FAT partition. Then do a ‘guix
system init config.scm /mnt/microsd’. The patch series contains an example
configuration at ‘gnu/system/examples/raspberry-pi-64.tmpl’.
Take a look here: <http://issues.guix.gnu.org/48314#10>
In hope to get more attention and interest for a review, allow me to add two
side notes.
Ever in need for a Guix System on an USB thump drive? Give the new
‘grub-efi-netboot-removable-bootloader’ a try instead of ‘grub-efi-bootloader’.
It is not only usable for booting over network.
Ever in need to quickly modify the kernel Linux? Give the new function
‘modify-linux’ a try. For the Raspberry this is needed to get the kernel
linux-libre working. (By the way, would Guix System be the first distribution
using a libre kernel on the Raspberry?)
For example to enable NFS root functionality for virtual machines, use a kernel
definition like this in your operating-system definition:
(kernel (modify-linux #:configs '("CONFIG_E1000=y"
"CONFIG_ROOT_NFS=y"
"CONFIG_NFS_FS=y"
"CONFIG_NFS_V4=y")))
Bye
Stefan