2 # nix-build nixos -I nixos-config=nixos/modules/installer/sd-card/sd-image-riscv64-qemu.nix -A config.system.build.sdImage
3 { config, lib, pkgs, ... }:
7 ../../profiles/base.nix
13 generic-extlinux-compatible = {
16 # Don't even specify FDTDIR - We do not have the correct DT
17 # The DTB is generated by QEMU at runtime
18 useGenerationDeviceTree = false;
22 boot.consoleLogLevel = lib.mkDefault 7;
23 boot.kernelParams = [ "console=tty0" "console=ttyS0,115200n8" ];
26 populateFirmwareCommands = "";
27 populateRootCommands = ''
29 ${config.boot.loader.generic-extlinux-compatible.populateCmd} -c ${config.system.build.toplevel} -d ./files/boot