diff options
Diffstat (limited to 'scripts/march-to-cpu-opt')
| -rwxr-xr-x | scripts/march-to-cpu-opt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/march-to-cpu-opt b/scripts/march-to-cpu-opt index 067e66e..259f09f 100755 --- a/scripts/march-to-cpu-opt +++ b/scripts/march-to-cpu-opt @@ -20,6 +20,8 @@ QEMU_EXT_OPTS = { "zhinx": "zhinx=true", "zfinx": "zfinx=true", "zdinx": "zdinx=true", + "zvfh": "zvfh=true", + "zvfhmin": "zvfhmin=true", } SPIKE_EXT_NOT_ALLOWED = [ |