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;
  };
}