From mboxrd@z Thu Jan 1 00:00:00 1970 From: Vagrant Cascadian Subject: Re: GuixSD on AArch64 Date: Wed, 12 Dec 2018 15:26:42 +0100 Message-ID: <87a7lag6sd.fsf@ponder.i-did-not-set--mail-host-address--so-tickle-me> References: <87d0s4ah5f.fsf@gnu.org> <87sh10a7wv.fsf@gnu.org> <87sh0ykvw2.fsf@gnu.org> <87sh0x3i55.fsf@aikidev.net> <20181212103650.GD3740@jurong> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37496) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gX5TP-0007Z8-OL for guix-devel@gnu.org; Wed, 12 Dec 2018 09:26:52 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gX5TM-0002BK-HW for guix-devel@gnu.org; Wed, 12 Dec 2018 09:26:51 -0500 Received: from cascadia.aikidev.net ([173.255.214.101]:56388) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gX5TM-0001rw-8l for guix-devel@gnu.org; Wed, 12 Dec 2018 09:26:48 -0500 In-Reply-To: <20181212103650.GD3740@jurong> 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: Andreas Enge Cc: Guix-devel On 2018-12-12, Andreas Enge wrote: > On Mon, Oct 22, 2018 at 12:17:58PM -0700, Vagrant Cascadian wrote: >> 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... :) > > did you come to the meeting, Yes! it was good fun. > and did you manage to install GuixSD on your Pinebook? Not yet... The substitutes were below 1% for aarch64 the last few weeks, and only recently have started catching up. And building natively was... astoundingly slow. I did get the patched u-boot pinebook into Guix, and tested it manually. I haven't yet checked current status of linux-libre on aarch64, which might need some additional kernel configuration features enabled compared to recent Debian kernel versions. live well, vagrant