diff --git a/Makefile b/Makefile
index 67c9056..dc44f42 100644
--- a/Makefile
+++ b/Makefile
@@ -55,7 +55,7 @@ CONFIGS = configs/
 
 SPIKE = spike
 PATCHER_SPIKE = build/pspike
-MARCH = rv${XLEN}gcv_zvbb_zvbc_zvkg
+MARCH = rv${XLEN}gcv_zvbb_zvbc_zvkg_zvkned
 MABI = lp64d
 
 ifeq ($(XLEN), 32)
diff --git a/Makefrag b/Makefrag
index 62347e9..6ab5f71 100644
--- a/Makefrag
+++ b/Makefrag
@@ -105,6 +105,10 @@ tests = \
   vadd_vx-5 \
   vadd_vx-6 \
   vadd_vx-7 \
+  vaeskf1_vi-0 \
+  vaeskf1_vi-1 \
+  vaeskf2_vi-0 \
+  vaeskf2_vi-1 \
   vand_vi-0 \
   vand_vi-1 \
   vand_vi-2 \