Re: Booting Guix SD on GA-41M-ES2L with libreboot

2016-10-17 Thread Ludovic Courtès 
David Craven  skribis:

>> [0.036028] AppArmor: AppArmor initialized
>> I also tried to boot the Guix SD installer using the Parabola kernel.
>
> I don't think that guixsd uses apparmor,

GuixSD doesn’t use it but it’s apparently built into its kernel; on my
laptop, I see:

--8<---cut here---start->8---
[0.000140] ACPI: Core revision 20160422
[0.005904] ACPI: 3 ACPI AML tables successfully acquired and loaded

[0.006011] Security Framework initialized
[0.006044] Yama: becoming mindful.
[0.006081] AppArmor: AppArmor initialized
--8<---cut here---end--->8---

Ludo’.

Re: Booting Guix SD on GA-41M-ES2L with libreboot

2016-10-17 Thread Niclas Hoyer 

> I don't think that guixsd uses apparmor, are you using the guixsd
> kernel or the parabola one?
>
> Do you also have a display connected to your machine? mingetty doesn't
> support a serial login session.

I'm now using the latest 0.11.0 usb image unmodified with a screen
attached. The reset occurs so fast that I can't really recognize the
kernel messages. I added "console=ttyS0,115200n8" to the kernel boot
options to get serial output the last time using the 0.10.0 usb image.
As far as I can tell the kernel/CPU resets before reaching the login
session.

--

Niclas

Re: Booting Guix SD on GA-41M-ES2L with libreboot

2016-10-17 Thread David Craven 
> [0.036028] AppArmor: AppArmor initialized
> I also tried to boot the Guix SD installer using the Parabola kernel.

I don't think that guixsd uses apparmor, are you using the guixsd
kernel or the parabola one?

Do you also have a display connected to your machine? mingetty doesn't
support a serial login session.

Re: Booting Guix SD on GA-41M-ES2L with libreboot

2016-10-17 Thread Niclas Hoyer 

> 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’.

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

Re: Booting Guix SD on GA-41M-ES2L with libreboot

2016-10-17 Thread Ludovic Courtès 
Hello,

Niclas Hoyer  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 message.
>
> The last line displayed is "[0.208002]  node  #0, CPUs: 
> #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’t 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’.

Re: Booting Guix SD on GA-41M-ES2L with libreboot

2016-10-16 Thread Niclas Hoyer 

> It sounds like you're using the Guix 0.10.0 installer, based on the
> kernel version.  Can you try using the installer from our most recent
> release, 0.11.0?
>
>  Mark
I just checked with 0.11.0. Now it uses linux 4.7, but the problem
(early reboot/reset) is the same.

--
Niclas