From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: Booting Guix SD on GA-41M-ES2L with libreboot
Date: Mon, 17 Oct 2016 10:40:59 +0200
Message-ID: <87bmyjfjvo.fsf@gnu.org>
References: <1756a350-fc2e-a18e-9ff1-6ab3a5599676@niclashoyer.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:35961)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1bw3Tl-00084K-1D
	for help-guix@gnu.org; Mon, 17 Oct 2016 04:41:05 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1bw3Ti-0007mH-Fj
	for help-guix@gnu.org; Mon, 17 Oct 2016 04:41:05 -0400
In-Reply-To: <1756a350-fc2e-a18e-9ff1-6ab3a5599676@niclashoyer.de> (Niclas
	Hoyer's message of "Sat, 15 Oct 2016 23:26:12 +0200")
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix/>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: Niclas Hoyer <info@niclashoyer.de>
Cc: help-guix@gnu.org

Hello,

Niclas Hoyer <info@niclashoyer.de> skribis:

> I'm trying to install Guix SD on a Gigabyte GA-41M-ES2L running
> libreboot. Grub recognizes the usb stick and shows the menu entry "GNU
> with Linux-Libre 4.5 (beta)". Linux seems to boot, but the computer
> resets pretty soon. Even using a serial cable I can't see any error messa=
ge.
>
> The last line displayed is "[    0.208002] .... node  #0, CPUs:=20=20=20=
=20=20
> #1". The full serial log (including libreboot) can be downloaded here:
> https://libreboot.niclashoyer.de/guixsd/usb-boot.log

The boot log stops at:

--8<---------------cut here---------------start------------->8---
[    0.205140] x86: Booting SMP configuration:
[    0.208002] .... node  #0, CPUs:      #1
--8<---------------cut here---------------end--------------->8---

So it looks like the kernel doesn=E2=80=99t even boot, unless the log is
truncated.

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.