From 013296c9343980dd1f65e97f9ef27a026bde82dc Mon Sep 17 00:00:00 2001
From: Leandro Lanzieri <leandro.lanzieri@haw-hamburg.de>
Date: Fri, 3 Jul 2020 11:17:37 +0200
Subject: [PATCH] boards/microbit: Add Kconfig symbols

---
 boards/microbit/Kconfig | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 boards/microbit/Kconfig

diff --git a/boards/microbit/Kconfig b/boards/microbit/Kconfig
new file mode 100644
index 0000000000..846ae7ca23
--- /dev/null
+++ b/boards/microbit/Kconfig
@@ -0,0 +1,18 @@
+# Copyright (c) 2020 HAW Hamburg
+#
+# 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 "microbit" if BOARD_MICROBIT
+
+config BOARD_MICROBIT
+    bool
+    default y
+    select BOARD_COMMON_NRF51
+    select CPU_MODEL_NRF51X22XXAB
+    select HAS_PERIPH_I2C
+    select HAS_PERIPH_UART
+
+source "$(RIOTBOARD)/common/nrf51/Kconfig"