From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mekeor Melire Subject: Re: GuixSD for Raspberry? Date: Mon, 18 Sep 2017 21:42:05 +0200 Message-ID: <87d16nkd4i.fsf@gmail.com> References: <3a459f79-f429-4fa2-b4c6-46f247616b56@crazy-compilers.com> <87efr4qw5r.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:34818) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1du1vh-0004ek-Cs for help-guix@gnu.org; Mon, 18 Sep 2017 15:42:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1du1vg-0002Jr-Gt for help-guix@gnu.org; Mon, 18 Sep 2017 15:42:05 -0400 In-reply-to: <87efr4qw5r.fsf@gnu.org> 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: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: help-guix Ludovic Courtès writes: > Hartmut Goebel 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