Index of /krd/EFI/boot/

../
boot.efi                                           08-Aug-2019 15:49              471040
bootia32.efi                                       08-Aug-2019 15:49              471040
bootx64.efi                                        08-Aug-2019 15:49             1183792
krd_grub.efi                                       08-Aug-2019 15:49              742064