Re: Run GuixSD on Raspberry pi
On 2019-10-23, Farshid Karimi wrote: > I know that could install guix as a package manager on armhf > architecture.Including raspberry pi board. > But is there any way to install guixsd image on raspberry pi? > I saw the gnu/system/install.scm and there is some little board that > supported by it. If you treat the non-free boot firmware like people treat BIOS/EFI on x86 systems, and leave it up to the end-user to set that up, it's probably technically possible. There may be some drivers that require non-free firmware (e.g. wireless) that will not work with Guix's linux-libre kernel. The two options I see would be to add support for the boot configuration used by the raspberry pi firmware, or for a little more flexible option, configure the raspberry pi firmware to load u-boot and then use the existing infrastructure to generate u-boot configuration files. Since there's at least one major non-free component involved, I'm not quite sure how it all sits with following the FSDG: https://www.gnu.org/distros/free-system-distribution-guidelines.html Though, one could treat that like BIOS/EFI on x86... live well, vagrant signature.asc Description: PGP signature
Run GuixSD on Raspberry pi
Hello I know that could install guix as a package manager on armhf architecture.Including raspberry pi board. But is there any way to install guixsd image on raspberry pi? I saw the gnu/system/install.scm and there is some little board that supported by it. Regards.
Re: GuixSD for Raspberry?
Mekeor Melire <mekeor.mel...@gmail.com> skribis: > Ludovic Courtès <l...@gnu.org> writes: > >> Hartmut Goebel <h.goe...@crazy-compilers.com> 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, It’s supported by Guix, not by GuixSD. :-) Ludo’.
Re: GuixSD for Raspberry?
On Mon, Sep 18, 2017 at 09:54:24AM +0200, Ludovic Courtès wrote: > Hi, > > Hartmut Goebel <h.goe...@crazy-compilers.com> 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. > > Danny would know better, but it seems to me that there’s little that’s > missing! > > Thanks, > Ludo’. > I don't know if the RPi needs a special kernel or not, but I don't believe we currently have support for booting with u-boot. Also, the xorg-service needs to be modified to only use the intel driver on intel machines. -- Efraim Flashner <efr...@flashner.co.il> אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted signature.asc Description: PGP signature
Re: GuixSD for Raspberry?
Hi, Hartmut Goebel <h.goe...@crazy-compilers.com> 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. Danny would know better, but it seems to me that there’s little that’s missing! Thanks, Ludo’.
GuixSD for Raspberry?
Hi, quick answer: What is the status of GuixSD for Raspberry? Searching the web did not help finding this out. -- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible |