diff --git a/scripts/march-to-cpu-opt b/scripts/march-to-cpu-opt index 067e66ec80c..259f09f39c3 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 = [