From mboxrd@z Thu Jan 1 00:00:00 1970 From: Vagrant Cascadian Subject: GuixSD on AArch64 Date: Mon, 22 Oct 2018 12:17:58 -0700 Message-ID: <87sh0x3i55.fsf@aikidev.net> References: <87d0s4ah5f.fsf@gnu.org> <87sh10a7wv.fsf@gnu.org> <87sh0ykvw2.fsf@gnu.org> 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]:49310) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gEfiI-0002Pj-H7 for guix-devel@gnu.org; Mon, 22 Oct 2018 15:18:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gEfiF-0008H9-Cf for guix-devel@gnu.org; Mon, 22 Oct 2018 15:18:06 -0400 In-Reply-To: <87sh0ykvw2.fsf@gnu.org> 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" To: Ludovic =?utf-8?Q?Court=C3=A8s?= , Jan Nieuwenhuizen Cc: Guix-devel On 2018-10-22, Ludovic Court=C3=A8s wrote: > On IRC earlier today Vagrant mentioned that the Pinebook AArch64 laptop > (see ) should be able to run > GuixSD when Linux-libre 4.19 and U-Boot 2018.11 are out, with 100% free > software. That may give another incentive to work on AArch64. Looking like u-boot 2019.01 might be more likely, but modest patches work with 2018.11-rc2. I'll probably bring the pinebook with me to the Paris meetup in December... though with only 2GB of ram it might not make the most exciting GuixSD system... :) Very similar is the free open-source hardware Teres-I from olimex: https://www.olimex.com/Products/DIY-Laptop/ ... Which is just a kit with all the parts you assemble yourself! live well, vagrant