1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure
index acc72e91..7467e80a 100755
--- a/configure
+++ b/configure
@@ -58,8 +58,9 @@ Supported targets:
   x86_64-cygwin        (x86 64 bits, Cygwin environment under Windows)
   rv32-linux           (RISC-V 32 bits, Linux)
   rv64-linux           (RISC-V 64 bits, Linux)
-  kvx-mbr              (Kalray KVX, bare runtime)
-  kvx-cos              (Kalray KVX, ClusterOS)
+  kvx-mbr              (Kalray KV3, bare runtime)
+  kvx-elf              (Kalray KV3, ELF)
+  kvx-cos              (Kalray KV3, ClusterOS)
   aarch64-linux        (AArch64, i.e. ARMv8 in 64-bit mode, Linux)
   aarch64-macos        (AArch64, i.e. Apple silicon, MacOS)
   manual               (edit configuration file by hand)