platforms: Build flat kernel image for RISC-V

Newer bootloaders for RISC-V (i.e., OpenSBI + U-Boot) support
flat and compressed kernel images but not vmlinux. Therefore,
let's build "Image" like what we do with aarch64.

Also copy DTBs while we are at it.

1 files changed, 2 insertions, 1 deletions

diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index 445144439ca..73a61d6d984 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -481,9 +481,10 @@ rec {
   riscv-multiplatform = {
     linux-kernel = {
       name = "riscv-multiplatform";
-      target = "vmlinux";
+      target = "Image";
       autoModules = true;
       baseConfig = "defconfig";
+      DTB = true;
       extraConfig = ''
         FTRACE n
         SERIAL_OF_PLATFORM y