help-guix
[Top][All Lists]
Advanced

[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




reply via email to

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