Alain Kalker 97af122828 efibootmgr: add option to set partition number of EFI partition ... This is useful when ESP is not the first partition, for instance if it is added after some existing partitions during switch from BIOS to UEFI boot.		2019-07-08 21:25:57 +02:00
..
files
patches
INSTALL.msg
template