diff --git a/src/linux/Kconfig b/src/linux/Kconfig
index 661f3c30..5fe8d76d 100644
--- a/src/linux/Kconfig
+++ b/src/linux/Kconfig
@@ -16,6 +16,22 @@ config BOARD_DIRECTORY
     string
     default "linux"
 
+######################################################################
+# Board selection
+######################################################################
+
+choice
+    prompt "Board model"
+    config MACH_LINUX_DEFAULT
+        bool "DEFAULT"
+	config MACH_LINUX_ODROIDC5
+		bool "ODROID-C5"
+		select MACH_LINUX_ODROID_COMMON
+endchoice
+
+config MACH_LINUX_ODROID_COMMON
+    bool
+
 config CLOCK_FREQ
     int
     default 50000000