On Tue, Feb 22, 2022 at 10:05 AM Vincent Legoll
wrote:
> I was about to suggest:
> ("CONFIG_VIRTIO_BLK" . m) (in guix guile syntax)
modulo the copy/paste gotcha, it should have been
("CONFIG_VIRTIO_BLK" . y) (in guix guile syntax)
--
Vincent Legoll
Hello Reza Alizadeh Majd,
On Tue, Feb 22, 2022 at 9:31 AM Ricardo Wurmus wrote:
> The list of modules depends largely on the kernel configuration. I
> encourage you to check if you need to add something to the kernel
> configuration and build your own kernel.
See here for details on how to achi
Reza Alizadeh Majd writes:
> On Mon, 21 Feb 2022 12:14:50 +0100
> Ricardo Wurmus wrote:
>
>
>>
>>mmc-block or mmc_block?
>
> based on the following thread I thought that it might be the issue with
> module name, so I tested with both mmc_block an mmc-block.
>
> https://debbugs.gnu.org/cgi/bugr
On Mon, 21 Feb 2022 12:14:50 +0100
Ricardo Wurmus wrote:
>
>mmc-block or mmc_block?
based on the following thread I thought that it might be the issue with
module name, so I tested with both mmc_block an mmc-block.
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34902
unfortunately neither of t
Reza Alizadeh Majd writes:
> however the previously mentioned issue in this thread about
> the `mmc_block` kernel module still persists during the build:
>
> adding the following kernel modules:
>
> (initrd-modules (append (list "mmc_block" "rtsx_pci_sdmmc" "rtsx_pci")
>
On Sat, 19 Feb 2022 00:12:37 +0100
Ricardo Wurmus wrote:
>
>Are you using qemu-binfmt-service-type?
>
Thank you, adding the service to the host machine, resolves the build
issue.
however the previously mentioned issue in this thread about
the `mmc_block` kernel module still persists during th
Reza Alizadeh Majd writes:
> it seems that the `--system=aarch64-linux` doesn't work as expected to
> cross-compile the image for RPi.
Are you using qemu-binfmt-service-type?
--
Ricardo
Hi Stefan,
First of all, thanks for your great work to bring the Guix for RPi.
>Your troubles might indicate that you didn’t properly mount the ext4
>and FAT file systems below /mnt. You should follow the manual
>regarding an EFI system¹: Mount the ext4 partition of the microSD card
>at /mnt a
Hi!
> Thanks for your amazing work! I've applied the patches and it builds the
> system.
Welcome, and thanks for the feedback.
> However, I ran into several issues.
Your troubles might indicate that you didn’t properly mount the ext4 and FAT
file systems below /mnt. You should follow the manu
Hi Stefan,
On Monday, November 1st, 2021 at 12:09 AM, Stefan
wrote:
> 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
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 form
Hi vagrant,
On Sunday, October 31st, 2021 at 12:05 AM, Vagrant Cascadian
wrote:
> On 2021-10-30, phodina via wrote:
>
> > I'm trying to run Guix System on Raspberry Pi. In order to do that we
> >
> > need a way to boot it up.
> >
> > There is the nonfree Broadcom bootloader, which does the job
On 2021-10-30, phodina via wrote:
> I'm trying to run Guix System on Raspberry Pi. In order to do that we
> need a way to boot it up.
>
> There is the nonfree Broadcom bootloader, which does the job and it's
> used by many distributions.
>
> However, there is also an open source alternative as U-Bo
Hi,
I'm trying to run Guix System on Raspberry Pi. In order to do that we need a
way to boot it up.
There is the nonfree Broadcom bootloader, which does the job and it's used by
many distributions.
However, there is also an open source alternative as U-Boot supports the BCM
SoCs.
I had look
14 matches
Mail list logo
