Ludovic Courtès <[email protected]> writes: > Hartmut Goebel <[email protected]> skribis: > >> quick answer: What is the status of GuixSD for Raspberry? Searching the >> web did not help finding this out. > > GuixSD has not been ported to ARM in general. Porting means adding > support for U-Boot and the kernel with the right settings for the target > board.
Some (recent) versions of the single-board computer Raspberry Pi use the ARMv8-A architecture, a.k.a. Aarch64, which is supported by GuixSD, AFAIK. -- mekeor ~ EDD3 DFFA 76F6 11C0 145F 9A99 AC85 BAD8 A2F8 C868
