From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: GuixSD and free hardware Date: Fri, 16 Oct 2015 10:32:28 +0200 Message-ID: <87a8rjusbn.fsf@gnu.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43554) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zn0RG-0001b5-Uw for guix-devel@gnu.org; Fri, 16 Oct 2015 04:32:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zn0RC-0001CL-Sa for guix-devel@gnu.org; Fri, 16 Oct 2015 04:32:34 -0400 In-Reply-To: (Gammel Holte's message of "Thu, 15 Oct 2015 21:04:20 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Gammel Holte Cc: guix-devel@gnu.org Hello! Gammel Holte skribis: > I would like to draw your attention to new Rockchip ARM machines (e.g. As= us > C201). These are very cheap, easy to reflash and can be run without any > blobs (except 3D acceleration, unless the Lima driver gets finished). They > don't even need CPU microcdes. Paul Kocialkowski (of Replicant fame) > recently added Libreboot support to the C201 [1]. > > In my opinion, it'd be really nice to have GuixSD polished on this > architecture, so that users can buy one and get things going with minimal > effort. Sort of a few reference devices like what BSD does with some > Thinkpads. If running linux-libre, and wishing to have libreboot as a > bootloader, there are not that many choices. I think many of us are interested in having GuixSD on those devices. Mark recently ported GuixSD to mips, which allowed him to identify architecture-specific assumptions need to be addressed. That was an important first step. There=E2=80=99s also the question of whether we can use GRUB on these platf= orms, since GuixSD pretty much relies on it. Latest GRUB reportedly works on (some) ARM platforms: . It would be good to see if GRUB can be used as the LibreBoot payload on the C201, as a replacement for =E2=80=98depthcharge=E2=80=99. Thanks, Ludo=E2=80=99.