diff options
| author | Zhaofeng Li <hello@zhaofeng.li> | 2021-05-31 23:01:49 -0700 |
|---|---|---|
| committer | Zhaofeng Li <hello@zhaofeng.li> | 2021-06-01 19:49:30 -0700 |
| commit | 805e9ce9ea37953e319251fb2f814d9ee8f250b3 (patch) | |
| tree | 7a565eaf4f1351aac3868309c5f6c3c8aa6964cd /lib | |
| parent | d9d422285c2183b68a49c01eda179bd48526e6f2 (diff) | |
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.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/systems/platforms.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix index 445144439cafe..73a61d6d98455 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 |