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) | |
download | nixpkgs-805e9ce9ea37953e319251fb2f814d9ee8f250b3.tar nixpkgs-805e9ce9ea37953e319251fb2f814d9ee8f250b3.tar.gz nixpkgs-805e9ce9ea37953e319251fb2f814d9ee8f250b3.tar.bz2 nixpkgs-805e9ce9ea37953e319251fb2f814d9ee8f250b3.tar.lz nixpkgs-805e9ce9ea37953e319251fb2f814d9ee8f250b3.tar.xz nixpkgs-805e9ce9ea37953e319251fb2f814d9ee8f250b3.tar.zst nixpkgs-805e9ce9ea37953e319251fb2f814d9ee8f250b3.zip |
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 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 |