2017-02-10 12:14 GMT+01:00 Catonano <catonano@gmail.com>:
2017-02-10 11:17 GMT+01:00 Catonano <catonano@gmail.com>:


 

On my HP laptop, “legacy” boot wouldn’t actually do what it’s supposed
to do; I had to use UEFI.

Ah :-/


Could this be relevant ?

https://lists.gnu.org/archive/html/guix-devel/2016-06/msg00666.html