liminix/modules/arch/arm.nix

{
  lim,
  pkgs,
  config,
  ...
}:
{
  config = {
    kernel.config = {
      OF = "y";
    };
    kernel.makeTargets = [ "arch/arm/boot/zImage" ];
    hardware.ram.startAddress = lim.parseInt "0x40000000";
    system.outputs.u-boot = pkgs.ubootQemuArm;
  };
}