From unknown Tue Jun 24 22:34:18 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#22384 <22384@debbugs.gnu.org> To: bug#22384 <22384@debbugs.gnu.org> Subject: Status: Porting GuixSD to ARM Reply-To: bug#22384 <22384@debbugs.gnu.org> Date: Wed, 25 Jun 2025 05:34:18 +0000 retitle 22384 Porting GuixSD to ARM reassign 22384 guix submitter 22384 Jookia <166291@gmail.com> severity 22384 wishlist tag 22384 fixed thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 16 13:24:18 2016 Received: (at submit) by debbugs.gnu.org; 16 Jan 2016 18:24:18 +0000 Received: from localhost ([127.0.0.1]:51119 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKVWM-0005wJ-IE for submit@debbugs.gnu.org; Sat, 16 Jan 2016 13:24:18 -0500 Received: from eggs.gnu.org ([208.118.235.92]:59194) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from <166291@gmail.com>) id 1aKO6y-00084d-3v for submit@debbugs.gnu.org; Sat, 16 Jan 2016 05:29:36 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <166291@gmail.com>) id 1aKO6s-0006BR-25 for submit@debbugs.gnu.org; Sat, 16 Jan 2016 05:29:30 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.6 required=5.0 tests=BAYES_00, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:54960) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <166291@gmail.com>) id 1aKO6r-0006BN-V8 for submit@debbugs.gnu.org; Sat, 16 Jan 2016 05:29:29 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:50163) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <166291@gmail.com>) id 1aKO6r-0008LN-4L for bug-guix@gnu.org; Sat, 16 Jan 2016 05:29:29 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <166291@gmail.com>) id 1aKO6n-0006B4-P0 for bug-guix@gnu.org; Sat, 16 Jan 2016 05:29:28 -0500 Received: from mail-ob0-x22a.google.com ([2607:f8b0:4003:c01::22a]:33208) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <166291@gmail.com>) id 1aKO6n-0006A1-Jk for bug-guix@gnu.org; Sat, 16 Jan 2016 05:29:25 -0500 Received: by mail-ob0-x22a.google.com with SMTP id is5so129580602obc.0 for ; Sat, 16 Jan 2016 02:29:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:subject:message-id:mime-version:content-type :content-disposition:user-agent; bh=sIItCSyRR1JVGpGNxtgZJ/csfUMg8siCN5OUJrkNclA=; b=FfgA2Uo+qTWCBeIrZu3YEVYSbiAiDJl63ocp257gwoCmtiDpjL4XcgYYChQ0xduqZG 25ZJQZjI10prCTg0Kd+noseE7tvvbOAmVopdWhMQLwLlCftWCtQ8plk/N8S33yg3Dwf+ teAjomAkxxd2gMZ1DSGODca9b0rId50u0O9g14AhsATexnIaEaF2tutdOYnaRYcCr4xC DUyHCJhETO0DPzXPp4jHAL8dB3Sgh7QNb5RRb/u0bB3O8qm+Hy3oppm6NXyFuKdr/FKr 6NTmh6AQQ7s960ENf5jScUUo+ZKgdUuEBNV+Yauez6jHN6llJWeH5a/J61rEduMdIGJG Ukww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-type:content-disposition:user-agent; bh=sIItCSyRR1JVGpGNxtgZJ/csfUMg8siCN5OUJrkNclA=; b=Rl0MEDFzyJ2FTFbUaOvPILyZ5TKIJd+3rPPLCN9QeCySSeB/AVp3OXjLUsjSiAL3hR MhW7t9bY5n9vDMZTaJEm21YeKtPeD7muZUx345ktL8J1kVqQqbOXIhXBEqLWz8PZ7CdU CmTRyrdX1ayeqpQPCaOquTKQUaPK+iYRDdY01nTUikGybtiMDnuXmCdgfYhGznSY1UBd SLDJRXy2EQk5KDycmY3QMuaF4QCAt3UwHt4R15sYE+fcyAhJazSArJlgiis0YuCMONeI OPDLO+E7jxU3bjeyb6rBEQmx/qszwZR0SidBVPs4MtH5sb/s6bwGkXxSyOGPw7P4TYd2 09fw== X-Gm-Message-State: ALoCoQmi2mBetTlFiYImDZBjpDgiSJChyHl1lYl2H8ZCLsmUkj/A0Mcak82Hr3gpd4g6wUu898SCEkxzZWe8R5P8MMVh5rXEHw== X-Received: by 10.60.136.197 with SMTP id qc5mr12470628oeb.79.1452940163587; Sat, 16 Jan 2016 02:29:23 -0800 (PST) Received: from localhost ([50.253.127.139]) by smtp.gmail.com with ESMTPSA id p64sm8354957oia.20.2016.01.16.02.29.21 for (version=TLSv1/SSLv3 cipher=OTHER); Sat, 16 Jan 2016 02:29:23 -0800 (PST) Date: Sat, 16 Jan 2016 21:27:26 +1100 From: Jookia <166291@gmail.com> To: bug-guix@gnu.org Subject: Requirements for an ARM port? Message-ID: <20160116102726.GA4482@novena-choice-citizen.lan> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.24 (2015-08-30) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.8 (---) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sat, 16 Jan 2016 13:24:17 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.8 (---) Hey there, I'm considering seeing if I can get GuixSD to work on an ARM board of mine. I'd like to know what the main blockers are that I'll need to pass. From what I've read and understood, the reason there's no ARM port now is lack of work and reliance on GRUB. Assuming I bootstrap and set up a u-boot package for my specific board, what else would I need to do? Cheers, Jookia. From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 17 03:10:36 2016 Received: (at 22384) by debbugs.gnu.org; 17 Jan 2016 08:10:37 +0000 Received: from localhost ([127.0.0.1]:51446 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKiQ0-00043i-MY for submit@debbugs.gnu.org; Sun, 17 Jan 2016 03:10:36 -0500 Received: from flashner.co.il ([178.62.234.194]:41133) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKiPz-00043Z-7E for 22384@debbugs.gnu.org; Sun, 17 Jan 2016 03:10:35 -0500 Received: from debian-netbook (85.65.229.31.dynamic.barak-online.net [85.65.229.31]) by flashner.co.il (Postfix) with ESMTPSA id 1C3644044A; Sun, 17 Jan 2016 08:10:33 +0000 (UTC) Date: Sun, 17 Jan 2016 10:10:27 +0200 From: Efraim Flashner To: Jookia <166291@gmail.com> Subject: Re: bug#22384: Requirements for an ARM port? Message-ID: <20160117101027.65088e3b@debian-netbook> In-Reply-To: <20160116102726.GA4482@novena-choice-citizen.lan> References: <20160116102726.GA4482@novena-choice-citizen.lan> X-Mailer: Claws Mail 3.13.1 (GTK+ 2.24.29; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; boundary="Sig_/L_TxjxiNm1MUxFmlYYOv9kv"; protocol="application/pgp-signature" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 22384 Cc: 22384@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --Sig_/L_TxjxiNm1MUxFmlYYOv9kv Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Sat, 16 Jan 2016 21:27:26 +1100 Jookia <166291@gmail.com> wrote: > Hey there, >=20 > I'm considering seeing if I can get GuixSD to work on an ARM board of min= e. I'd > like to know what the main blockers are that I'll need to pass. From what= I've > read and understood, the reason there's no ARM port now is lack of work a= nd > reliance on GRUB. Assuming I bootstrap and set up a u-boot package for my > specific board, what else would I need to do? >=20 > Cheers, > Jookia. >=20 According to the documentation, the arm board needs to be armv7 or later, a= nd support hard float, thumb-2, NEON, and support the EABI hard-float ABI. I don't know a lot about setting up arm boards, but if I understand it correctly, u-boot -> kernel -> guixsd image, where u-boot and the kernel get updated in tandem. I wish you much luck with getting GuixSD to run on an arm board, I think ma= ny of us are looking forward to this working. --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --Sig_/L_TxjxiNm1MUxFmlYYOv9kv Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCgAGBQJWm0xzAAoJEPTB05F+rO6Tj6gP/RjG9w0eo2HaTSPd4mGKcL1f fuQP57G87CiyeE+SSX+zn2bAa3OQ6C84OqsreXjWPXAcswKHKFVcbTNPSGsq99lH ZjnOSeCIjKAkSHgqg9vVgrZGBKwGB73dwE219wbsPBxNNCf6Y6TKDUxQeP9YAT/O T6bgzE46wdgLOHhr9tnxAcy/3yZwwasQAROOCoiOdKCMhijIuGkQyr1dFc++FDDa LcPKdph4wX3BZW5+FpfnQpBo2jdHL8TdcZUhTU6Nqv68zoTfmKm11Z2ROs29hQBs ckj4OxMzuMe0TwXcUIGRRMalsNa7M/Vg0QCe2rrqzfgaviZRgpaqMrMWvw2BJ42W O3/9anYTitLyD8RL/YRjANSMW3rPKj0H5D+r1H3HCMmyvkA5GQ0yxVn+l+WJ1RWf dgmpxTbiz6Rk/p63NZyYcHuv80Dl7MWt2Q0CJo4r01iUK+1KZjZ5Vi6t4feO7z4R lw034rKa4e7FRfhxU05XM9dBTUoGfopHFDJMUYMA936TYiHr2SVrLnRhPHiIMhD0 aAqotTx2fkMcgsNnyqQfW0oyH5052ABnJHTG+E0gD11CIq1/Q7uWSA7jbAuO+6lN O+fDFd836aLAfWyD4j5TY9QJHI4P5POko/Unq769xg7PnCOG9IM83eLLa+LJjLIS jQDO4dn8YhruuMtrOwop =MVhw -----END PGP SIGNATURE----- --Sig_/L_TxjxiNm1MUxFmlYYOv9kv-- From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 17 15:39:37 2016 Received: (at 22384) by debbugs.gnu.org; 17 Jan 2016 20:39:37 +0000 Received: from localhost ([127.0.0.1]:52076 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKu6r-0006oC-2I for submit@debbugs.gnu.org; Sun, 17 Jan 2016 15:39:37 -0500 Received: from eggs.gnu.org ([208.118.235.92]:34512) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKu6p-0006o1-NF for 22384@debbugs.gnu.org; Sun, 17 Jan 2016 15:39:35 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aKu6h-0007u2-FZ for 22384@debbugs.gnu.org; Sun, 17 Jan 2016 15:39:30 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:37413) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aKu6h-0007ty-C4; Sun, 17 Jan 2016 15:39:27 -0500 Received: from reverse-83.fdn.fr ([80.67.176.83]:53054 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1aKu6g-0007GW-Ql; Sun, 17 Jan 2016 15:39:27 -0500 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Jookia <166291@gmail.com> Subject: Re: bug#22384: Requirements for an ARM port? References: <20160116102726.GA4482@novena-choice-citizen.lan> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 28 =?utf-8?Q?Niv=C3=B4se?= an 224 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x3D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-unknown-linux-gnu Date: Sun, 17 Jan 2016 21:39:24 +0100 In-Reply-To: <20160116102726.GA4482@novena-choice-citizen.lan> (Jookia's message of "Sat, 16 Jan 2016 21:27:26 +1100") Message-ID: <87h9ic54ar.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 22384 Cc: 22384@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Jookia <166291@gmail.com> skribis: > I'm considering seeing if I can get GuixSD to work on an ARM board of min= e. I'd > like to know what the main blockers are that I'll need to pass. From what= I've > read and understood, the reason there's no ARM port now is lack of work a= nd > reliance on GRUB. Assuming I bootstrap and set up a u-boot package for my > specific board, what else would I need to do? I think getting a working bootloader and kernel are the main blockers (the current =E2=80=98linux-libre=E2=80=99 package might work already, or i= t might need more tweaks; I don=E2=80=99t think anyone has tried to boot it on ARM.) I would prefer if we could use GRUB with ARM support=C2=B9 if possible. Using U-Boot would be OK if GRUB doesn=E2=80=99t work as expected, but it= =E2=80=99s more work; namely, a module equivalent to (gnu system grub) would need to be made, and (gnu system) would need to be made independent of GRUB. At any rate, GuixSD on ARM would be very nice! Ludo=E2=80=99. =C2=B9 https://wiki.linaro.org/LEG/Engineering/Kernel/GRUB (GRUB 2.02 should work) From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 17 18:49:20 2016 Received: (at 22384) by debbugs.gnu.org; 17 Jan 2016 23:49:20 +0000 Received: from localhost ([127.0.0.1]:52170 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aKx4R-0006TS-Mw for submit@debbugs.gnu.org; Sun, 17 Jan 2016 18:49:19 -0500 Received: from mail-wm0-f46.google.com ([74.125.82.46]:33447) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from <166291@gmail.com>) id 1aKuU4-0007P6-OX for 22384@debbugs.gnu.org; Sun, 17 Jan 2016 16:03:37 -0500 Received: by mail-wm0-f46.google.com with SMTP id 123so30196349wmz.0 for <22384@debbugs.gnu.org>; Sun, 17 Jan 2016 13:03:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:cc:subject:message-id:references:mime-version :content-type:content-disposition:content-transfer-encoding :in-reply-to:user-agent; bh=fAwcwzcQfaBUIByNmWUnv4kmwqs1QQMqRHx1jabDeE4=; b=JR05fE9Ytx6aCZiNsnYRDyOapFuTSJRfYqu+eKCE5EVMSISqNGg8v+UOEVz44cCx1L 7975Zm88TUVB/eVg1Sr5D6cYAizzniYXr4cHb2LKEZd/pW4NVbdkzbT2vpfYvPZm14kP AmRSrLwXwWlkEGNG3NDbRMXz0+UgkiWyC7JwshFYu3e+Sy5pSv/QO1lgU9hMN/cc+Uk7 M4iTn0NFNqIxZF3Uy6PjQ4q0kwIHzY0Ki9s+kJ83/fReBZLlZr0wn5o6xKnHjFJDeYnD KgbL0ZG9OwABeACa1zYI6TrYL9F9T/AaY0bmkA4fUruHLDgby/Op34Yc+VXnuuDAPxe5 xt3g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-type:content-disposition :content-transfer-encoding:in-reply-to:user-agent; bh=fAwcwzcQfaBUIByNmWUnv4kmwqs1QQMqRHx1jabDeE4=; b=LJ85RfXc1y1KfvCFEb1+JVpafrXt4wiLBRbCQOePA0HiJseRmHbuYSJ3E7l3fTf9wj 7mXjDUo4uac7uXFSfUqABvVxj2GMdKU0qOeuTH/bMqyChxeLfRYqkhJXb+9xOEblBIyq fgG6VOLvEwDHbrdvZ3nX7hnR++yVb9StXvyExoR/PRY7qrrzoQmzOJQX/V1VjoMjD2oK 2stmTYP81nNqgdLw6HSkgKCtxulqSIQnzS1xKP9f38FYA3tj8o7/riGP3FfktqieWj0v A6fRa2+gCyg27+tjkyYk7A+ERpNmHHQBhSndHBdfsWtradTHwWAO0oKQLSMHeg9xezoU NDYQ== X-Gm-Message-State: ALoCoQkZHJ/l7DYXerPW03B3cDFDqEn8XBeMs2AWdV1idCiBs5c177a8tiCi3ns7MXJ9NrprvAQvY0y70VuRjaGNpXvXbUMQgw== X-Received: by 10.194.20.105 with SMTP id m9mr20283580wje.161.1453064611170; Sun, 17 Jan 2016 13:03:31 -0800 (PST) Received: from localhost ([37.49.226.236]) by smtp.gmail.com with ESMTPSA id e9sm20708652wja.25.2016.01.17.13.03.29 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 17 Jan 2016 13:03:30 -0800 (PST) Date: Mon, 18 Jan 2016 08:01:23 +1100 From: Jookia <166291@gmail.com> To: Ludovic =?iso-8859-1?Q?Court=E8s?= Subject: Re: bug#22384: Requirements for an ARM port? Message-ID: <20160117210123.GA3804@novena-choice-citizen.lan> References: <20160116102726.GA4482@novena-choice-citizen.lan> <87h9ic54ar.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <87h9ic54ar.fsf@gnu.org> User-Agent: Mutt/1.5.24 (2015-08-30) X-Spam-Score: -0.5 (/) X-Debbugs-Envelope-To: 22384 X-Mailman-Approved-At: Sun, 17 Jan 2016 18:49:18 -0500 Cc: 22384@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.5 (/) On Sun, Jan 17, 2016 at 09:39:24PM +0100, Ludovic Courtès wrote: > Jookia <166291@gmail.com> skribis: > I think getting a working bootloader and kernel are the main blockers > (the current ‘linux-libre’ package might work already, or it might need > more tweaks; I don’t think anyone has tried to boot it on ARM.) Ah, it shouldn't be that much of a problem then. Famous last words, but I guess I'll be doing some hacking to get GuixSD on ARM then! No promises. :) > I would prefer if we could use GRUB with ARM support¹ if possible. > Using U-Boot would be OK if GRUB doesn’t work as expected, but it’s more > work; namely, a module equivalent to (gnu system grub) would need to be > made, and (gnu system) would need to be made independent of GRUB. I agree GRUB with ARM support would be better, though from my experience it's still in its infancy. I've managed to get GRUB executing on my Novena board but I've still had issues having it actually boot anything, eventually I gave up since my use case was solved by something else. So unfortunately until that's ironed out (and supported on more boards), I think U-Boot will have to make do for now. I suppose it's also good hygiene to support more booting methods too. > At any rate, GuixSD on ARM would be very nice! > Ludo’. I much appreciate the reply and sorry for opening a bug report on this rather than posting to -devel or help-. I'll probably have a ton of bug reports and patches down the line as I get GuixSD on to my T400, so I'm now drinking from the firehose of all three mailing lists. :) Cheers, Jookia. From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 18 03:04:03 2016 Received: (at 22384) by debbugs.gnu.org; 18 Jan 2016 08:04:03 +0000 Received: from localhost ([127.0.0.1]:52276 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aL4nD-000281-4P for submit@debbugs.gnu.org; Mon, 18 Jan 2016 03:04:03 -0500 Received: from eggs.gnu.org ([208.118.235.92]:34165) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aL4nB-00027X-VI for 22384@debbugs.gnu.org; Mon, 18 Jan 2016 03:04:02 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aL4n3-0001tf-Nr for 22384@debbugs.gnu.org; Mon, 18 Jan 2016 03:03:56 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51575) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aL4n3-0001ta-LE; Mon, 18 Jan 2016 03:03:53 -0500 Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:39328 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1aL4n2-0003eg-Ux; Mon, 18 Jan 2016 03:03:53 -0500 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Jookia <166291@gmail.com> Subject: Re: bug#22384: Requirements for an ARM port? References: <20160116102726.GA4482@novena-choice-citizen.lan> <87h9ic54ar.fsf@gnu.org> <20160117210123.GA3804@novena-choice-citizen.lan> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 29 =?utf-8?Q?Niv=C3=B4se?= an 224 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x3D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-unknown-linux-gnu Date: Mon, 18 Jan 2016 09:03:49 +0100 In-Reply-To: <20160117210123.GA3804@novena-choice-citizen.lan> (Jookia's message of "Mon, 18 Jan 2016 08:01:23 +1100") Message-ID: <87k2n7mhzu.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 22384 Cc: 22384@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Jookia <166291@gmail.com> skribis: > I much appreciate the reply and sorry for opening a bug report on this ra= ther > than posting to -devel or help-. I'll probably have a ton of bug reports = and > patches down the line as I get GuixSD on to my T400, so I'm now drinking = from > the firehose of all three mailing lists. :) Heh. :-) Don=E2=80=99t hesitate to ask if you have troubles or anything; everyone will be happy to help that effort! Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 18 03:04:48 2016 Received: (at control) by debbugs.gnu.org; 18 Jan 2016 08:04:48 +0000 Received: from localhost ([127.0.0.1]:52279 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aL4nw-000293-C5 for submit@debbugs.gnu.org; Mon, 18 Jan 2016 03:04:48 -0500 Received: from eggs.gnu.org ([208.118.235.92]:34305) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aL4nu-00028r-GO for control@debbugs.gnu.org; Mon, 18 Jan 2016 03:04:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aL4nm-0001ya-BR for control@debbugs.gnu.org; Mon, 18 Jan 2016 03:04:41 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51587) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aL4nm-0001yU-8U for control@debbugs.gnu.org; Mon, 18 Jan 2016 03:04:38 -0500 Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:39332 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1aL4nl-0004rI-Ly for control@debbugs.gnu.org; Mon, 18 Jan 2016 03:04:37 -0500 Date: Mon, 18 Jan 2016 09:04:36 +0100 Message-Id: <87fuxvmhyj.fsf@gnu.org> To: control@debbugs.gnu.org From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: control message for bug #22384 MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) severity 22384 wishlist From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 18 03:06:53 2016 Received: (at request) by debbugs.gnu.org; 18 Jan 2016 08:06:54 +0000 Received: from localhost ([127.0.0.1]:52284 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aL4px-0002CP-O7 for submit@debbugs.gnu.org; Mon, 18 Jan 2016 03:06:53 -0500 Received: from eggs.gnu.org ([208.118.235.92]:34850) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aL4pv-0002CD-II for request@debbugs.gnu.org; Mon, 18 Jan 2016 03:06:51 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aL4pn-0002nG-EQ for request@debbugs.gnu.org; Mon, 18 Jan 2016 03:06:46 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51622) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aL4pn-0002nC-BM for request@debbugs.gnu.org; Mon, 18 Jan 2016 03:06:43 -0500 Received: from pluto.bordeaux.inria.fr ([193.50.110.57]:39344 helo=pluto) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.82) (envelope-from ) id 1aL4pi-0008OT-RQ for request@debbugs.gnu.org; Mon, 18 Jan 2016 03:06:39 -0500 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: request@debbugs.gnu.org Subject: retitle X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 29 =?utf-8?Q?Niv=C3=B4se?= an 224 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x3D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-unknown-linux-gnu Date: Mon, 18 Jan 2016 09:06:37 +0100 Message-ID: <87bn8jmhv6.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: request X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) retitle 22384 Porting GuixSD to ARM thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 15 11:58:22 2018 Received: (at 22384) by debbugs.gnu.org; 15 Jan 2018 16:58:23 +0000 Received: from localhost ([127.0.0.1]:57702 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eb85W-00079j-N5 for submit@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:22 -0500 Received: from eggs.gnu.org ([208.118.235.92]:42306) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eb85U-00079T-Vg for 22384@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:21 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eb85O-0002Qs-V8 for 22384@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:15 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51471) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eb85O-0002Qk-Ri; Mon, 15 Jan 2018 11:58:14 -0500 Received: from [2a01:e35:2ec2:e580:7d5f:f616:fc6f:3970] (port=54052 helo=godel) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1eb85O-0002sg-9R; Mon, 15 Jan 2018 11:58:14 -0500 From: Mathieu Lirzin To: Jookia <166291@gmail.com> Subject: Re: bug#22384: Requirements for an ARM port? References: <20160116102726.GA4482@novena-choice-citizen.lan> Date: Mon, 15 Jan 2018 17:58:10 +0100 In-Reply-To: <20160116102726.GA4482@novena-choice-citizen.lan> (Jookia's message of "Sat, 16 Jan 2016 21:27:26 +1100") Message-ID: <877esjf49p.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 22384 Cc: 22384@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) Hello, Jookia <166291@gmail.com> writes: > I'm considering seeing if I can get GuixSD to work on an ARM board of mine. I'd > like to know what the main blockers are that I'll need to pass. From what I've > read and understood, the reason there's no ARM port now is lack of work and > reliance on GRUB. Assuming I bootstrap and set up a u-boot package for my > specific board, what else would I need to do? According to [1] Guix 0.14 provides support for ARMv7. So I would consider this bug fixed. [1] https://www.gnu.org/software/guix/blog/2017/porting-guixsd-to-armv7/ -- Mathieu Lirzin GPG: F2A3 8D7E EB2B 6640 5761 070D 0ADE E100 9460 4D37 From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 15 11:58:48 2018 Received: (at control) by debbugs.gnu.org; 15 Jan 2018 16:58:48 +0000 Received: from localhost ([127.0.0.1]:57705 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eb85w-0007AV-0P for submit@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:48 -0500 Received: from eggs.gnu.org ([208.118.235.92]:42421) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eb85u-0007AE-Db for control@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eb85o-00033v-KF for control@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:41 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_RP_MATCHES_RCVD autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51477) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eb85o-00033n-Gp for control@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:40 -0500 Received: from [2a01:e35:2ec2:e580:7d5f:f616:fc6f:3970] (port=54054 helo=godel) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1eb85n-0003ah-Pn for control@debbugs.gnu.org; Mon, 15 Jan 2018 11:58:40 -0500 Date: Mon, 15 Jan 2018 17:58:37 +0100 Message-Id: <876083f48y.fsf@gnu.org> To: control@debbugs.gnu.org From: Mathieu Lirzin Subject: control message for bug #22384 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.0 (-----) tags 22384 fixed close 22384 From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 17 09:02:45 2018 Received: (at 22384-done) by debbugs.gnu.org; 17 Jan 2018 14:02:45 +0000 Received: from localhost ([127.0.0.1]:59562 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eboIf-0001pO-59 for submit@debbugs.gnu.org; Wed, 17 Jan 2018 09:02:45 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:43260) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eboIc-0001pF-5q for 22384-done@debbugs.gnu.org; Wed, 17 Jan 2018 09:02:42 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id A73751100A; Wed, 17 Jan 2018 15:02:41 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id vvBMiA5RyQEY; Wed, 17 Jan 2018 15:02:41 +0100 (CET) Received: from ribbon (unknown [IPv6:2a01:e0a:1d:7270:af76:b9b:ca24:c465]) by hera.aquilenet.fr (Postfix) with ESMTPSA id D6C5311008; Wed, 17 Jan 2018 15:02:40 +0100 (CET) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Mathieu Lirzin Subject: Re: bug#22384: Requirements for an ARM port? References: <20160116102726.GA4482@novena-choice-citizen.lan> <877esjf49p.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 28 =?utf-8?Q?Niv=C3=B4se?= an 226 de la =?utf-8?Q?R?= =?utf-8?Q?=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Wed, 17 Jan 2018 15:02:40 +0100 In-Reply-To: <877esjf49p.fsf@gnu.org> (Mathieu Lirzin's message of "Mon, 15 Jan 2018 17:58:10 +0100") Message-ID: <87d12860sf.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 22384-done Cc: Jookia <166291@gmail.com>, 22384-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Hello, Mathieu Lirzin skribis: > Jookia <166291@gmail.com> writes: > >> I'm considering seeing if I can get GuixSD to work on an ARM board of mi= ne. I'd >> like to know what the main blockers are that I'll need to pass. From wha= t I've >> read and understood, the reason there's no ARM port now is lack of work = and >> reliance on GRUB. Assuming I bootstrap and set up a u-boot package for my >> specific board, what else would I need to do? > > According to [1] Guix 0.14 provides support for ARMv7. So I would > consider this bug fixed. > > [1] https://www.gnu.org/software/guix/blog/2017/porting-guixsd-to-armv7/ Indeed. As the post mentions, GuixSD has not been =E2=80=9Cported to ARM= =E2=80=9D but rather ported to a specific ARM board=E2=80=94but that=E2=80=99s the way it= is. Thanks for going through the bug backlog! Ludo=E2=80=99. From unknown Tue Jun 24 22:34:18 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 15 Feb 2018 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator