Пытаюсь обновить bios на сервере Dell R710.
Пытался делать через dell-system-update на linux - пишет, что недостаточно памяти.
На просторах интернета нашел решение проблемы - советуют обновлять с флешки.
На официальной странице драйверов к серверу нашел свой bios:
https://www.dell.com/support/home/ru-ru/drivers/dr...
Как я понял, нужно отформатировать флешку под FAT32 (сделано), загрузить туда нужное обновление и запуститься через bios с флешки.
Но я не могу понять, какой из файлов мне нужен с этой страницы драйверов. Судя по всему, на флешку нужно закинуть файл с расширением .efi (как говорится в инструкции внизу страницы), но файла с таким расширением я не нахожу на этой странице. Может нужно bin или exe просто закинуть?