From mboxrd@z Thu Jan 1 00:00:00 1970 From: Niclas Hoyer Subject: Re: Booting Guix SD on GA-41M-ES2L with libreboot Date: Mon, 17 Oct 2016 10:54:42 +0200 Message-ID: References: <1756a350-fc2e-a18e-9ff1-6ab3a5599676@niclashoyer.de> <87bmyjfjvo.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]:38946) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bw3h4-0002GQ-NC for help-guix@gnu.org; Mon, 17 Oct 2016 04:54:51 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bw3h0-0004a4-Md for help-guix@gnu.org; Mon, 17 Oct 2016 04:54:50 -0400 In-Reply-To: <87bmyjfjvo.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: =?UTF-8?Q?Ludovic_Court=c3=a8s?= Cc: help-guix@gnu.org > Did you try running Linux-libre 4.5 or newer before on this hardware? > Several people have reported running GuixSD on Libreboot-powered > machines, but presumably this was different hardware. > > Thanks, > Ludo=E2=80=99. Yes, booting the Parabola GNU/Linux from usb is working. They use linux-libre 4.6.4. Is there any way I could test this? I could compile Guix SD from source und fiddle with the kernel build options until I'm able to boot. -- Niclas