diff options
Diffstat (limited to 'boards/qemu-virt/default.nix')
| -rw-r--r-- | boards/qemu-virt/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/boards/qemu-virt/default.nix b/boards/qemu-virt/default.nix index e41d924..d80d5d4 100644 --- a/boards/qemu-virt/default.nix +++ b/boards/qemu-virt/default.nix @@ -1,7 +1,8 @@ -{ mkKernel }: +{ + vernos-arch = "riscv64"; + vernos-board = "qemu-virt"; + src = ./.; -mkKernel { - name = "qemu-virt"; - asmFile = ./qemu-virt.s; - linkerScript = ./qemu-virt.ld; + ASFLAGS = "-march=rv64gc -mabi=lp64d"; + LDFLAGS = "--gc-sections"; } |