diff --git a/boards/f4vi1/Kconfig b/boards/f4vi1/Kconfig
new file mode 100644
index 0000000000..fb1bcf059f
--- /dev/null
+++ b/boards/f4vi1/Kconfig
@@ -0,0 +1,18 @@
+# Copyright (c) 2020 Inria
+#
+# This file is subject to the terms and conditions of the GNU Lesser
+# General Public License v2.1. See the file LICENSE in the top level
+# directory for more details.
+#
+
+config BOARD
+    default "f4vi1" if BOARD_F4VI1
+
+config BOARD_F4VI1
+    bool
+    default y
+    select CPU_MODEL_STM32F415RG
+
+    # Put defined MCU peripherals here (in alphabetical order)
+    select HAS_PERIPH_TIMER
+    select HAS_PERIPH_UART