{ vernos-arch = "riscv64"; vernos-board = "qemu-virt"; src = ./.; ASFLAGS = "-march=rv64gc -mabi=lp64d"; LDFLAGS = "--gc-sections"; }