boards/qemu-virt/default.nix


1
2
3
4
5
6
7
8

{
  vernos-arch = "riscv64";
  vernos-board = "qemu-virt";
  src = ./.;

  ASFLAGS = "-march=rv64gc -mabi=lp64d";
  LDFLAGS = "--gc-sections";
}