diff options
| -rw-r--r-- | gnu/build/bootloader.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/build/bootloader.scm b/gnu/build/bootloader.scm index af6063a884..e582151604 100644 --- a/gnu/build/bootloader.scm +++ b/gnu/build/bootloader.scm @@ -77,7 +77,9 @@ the output filename. Otherwise, use defaults for the host platform." ((string-prefix? "armhf" system) '("arm-efi" . "BOOTARM.EFI")) ((string-prefix? "aarch64" system) - '("arm64-efi" . "BOOTAA64.EFI")))))) + '("arm64-efi" . "BOOTAA64.EFI")) + ((string-prefix? "riscv64" system) + '("riscv64-efi" . "BOOTRISCV64.EFI")))))) ;; grub-mkstandalone requires a TMPDIR to prepare the firmware image. (setenv "TMPDIR" esp) |