From 08ace5a353b28281bb56ef80dc2546d4a519cba7 Mon Sep 17 00:00:00 2001
From: Leandro Lanzieri <leandro.lanzieri@haw-hamburg.de>
Date: Tue, 18 Feb 2020 14:23:35 +0100
Subject: [PATCH] boards/Kconfig: Declare common board symbol

---
 Kconfig        |  2 ++
 boards/Kconfig | 10 ++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 boards/Kconfig

diff --git a/Kconfig b/Kconfig
index cf7788750e..e23c781cfd 100644
--- a/Kconfig
+++ b/Kconfig
@@ -13,6 +13,8 @@ osource "$(KCONFIG_GENERATED_DEPENDENCIES)"
 orsource "$(RIOTBOARD)/$(BOARD)/Kconfig"
 orsource "$(RIOTCPU)/$(CPU)/Kconfig"
 
+rsource "$(RIOTBOARD)/Kconfig"
+
 # The application may declare new symbols as well
 osource "$(APPDIR)/Kconfig"
 
diff --git a/boards/Kconfig b/boards/Kconfig
new file mode 100644
index 0000000000..f311ba58ed
--- /dev/null
+++ b/boards/Kconfig
@@ -0,0 +1,10 @@
+# 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
+    string
+    help
+        Name of the currently selected board.