From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= Subject: Re: Guix on the ASUS C201PA Date: Fri, 15 Mar 2019 12:23:22 +0100 Message-ID: <87ef78755h.fsf@gnu.org> References: <875zswjwoc.fsf@ngyro.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:50301) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h4mT5-0002AM-Qa for guix-devel@gnu.org; Fri, 15 Mar 2019 09:01:50 -0400 In-Reply-To: <875zswjwoc.fsf@ngyro.com> (Timothy Sample's message of "Wed, 06 Mar 2019 02:20:51 -0500") 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: Timothy Sample Cc: guix-devel@gnu.org Hello! Timothy Sample skribis: > I was able to get Guix to boot on an ASUS Chromebook C201PA. This model > of computer is pretty neat. It=E2=80=99s an ARMv7 (32-bit) machine that = can be > run with entirely free software. There is even a free graphics driver > in the works [1]. > > I=E2=80=99ve attached a (messy) patch that adds a (hacky) bootloader defi= nition > for Depthcharge and a Linux-Libre package that works on the machine > (using an unsupported version of Linux-Libre). All those parenthetical > comments are supposed to suggest that this work is not really finished. > Now that the computer runs Guix, it should be straight-forward (if time > consuming) to fix some of these problems and arrive at something nice. Impressive work! The patch is really not what I expected given the qualifiers you gave above. :-) It could use more comments to explain what=E2=80=99s going on = but apart from that it looks rather clean to my eyes. What do you think would be the best course of action to integrate it? Wait for Vagrant to test it and fix a couple of things? ;-) Or=E2=80=A6? Thank you, Ludo=E2=80=99.