From mboxrd@z Thu Jan 1 00:00:00 1970 From: Vagrant Cascadian Subject: Re: Run GuixSD on Raspberry pi Date: Wed, 23 Oct 2019 11:54:09 -0700 Message-ID: <875zkf1eem.fsf@yucca> References: Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:47927) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iNLmg-000586-P7 for help-guix@gnu.org; Wed, 23 Oct 2019 14:55:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iNLme-00030U-I3 for help-guix@gnu.org; Wed, 23 Oct 2019 14:55:02 -0400 Received: from cascadia.aikidev.net ([2600:3c01:e000:267:0:a171:de7:c]:40206) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1iNLmd-0002zp-Rf for help-guix@gnu.org; Wed, 23 Oct 2019 14:55:00 -0400 In-Reply-To: List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org Sender: "Help-Guix" To: Farshid Karimi , help-guix@gnu.org --=-=-= Content-Type: text/plain 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 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQRlgHNhO/zFx+LkXUXcUY/If5cWqgUCXbCh0QAKCRDcUY/If5cW qroJAQCJOr8RaPvZI12ybqBxyedlip3YfutASJHVI+WWRXeBGQD/fzsZh1drQOew Jt54l/i0ZwBTX3AHZo4S3f2fupMtBgU= =moQe -----END PGP SIGNATURE----- --=-=-=--