[systemd-devel] Fwd: EFI boot generator failing to detect I'm actually booting on EFI

[Léo Gillot-Lamure]

Aaaah, crap, that was it : too old gummiboot, I think I was using
version 7 or 10...
Now (I've stolen a binary from f19 package because I couldn't build
it) it works and I've even got firmware time information in
systemd-analyze (awwww 30s spent in firmware…).

Thanks for the help and the good job !