2017-02-10 12:14 GMT+01:00 Catonano : > 2017-02-10 11:17 GMT+01:00 Catonano : > > > > >> >> 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