armcm_boot: Export MCU definition from armcm_boot

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>

src/atsam/main.c

@@ -6,12 +6,10 @@
 
 #include "board/irq.h" // irq_disable
 #include "board/usb_cdc.h" // usb_request_bootloader
-#include "command.h" // DECL_CONSTANT
+#include "command.h" // DECL_COMMAND_FLAGS
 #include "internal.h" // WDT
 #include "sched.h" // sched_main
 
-DECL_CONSTANT_STR("MCU", CONFIG_MCU);
-
 
 /****************************************************************
  * watchdog handler

src/atsamd/main.c

@@ -4,12 +4,8 @@
 //
 // This file may be distributed under the terms of the GNU GPLv3 license.
 
-#include "command.h" // DECL_CONSTANT_STR
-#include "internal.h" // NVIC_SystemReset
 #include "sched.h" // sched_main
 
-DECL_CONSTANT_STR("MCU", CONFIG_MCU);
-
 // Main entry point
 int
 main(void)

src/generic/armcm_boot.c

@@ -5,7 +5,12 @@
 // This file may be distributed under the terms of the GNU GPLv3 license.
 
 #include "armcm_boot.h" // DECL_ARMCM_IRQ
+#include "autoconf.h" // CONFIG_MCU
 #include "board/internal.h" // SystemInit
+#include "command.h" // DECL_CONSTANT_STR
+
+// Export MCU type
+DECL_CONSTANT_STR("MCU", CONFIG_MCU);
 
 // Symbols created by armcm_link.lds.S linker script
 extern uint32_t _data_start, _data_end, _data_flash;

src/lpc176x/Kconfig

@@ -23,6 +23,11 @@ choice
         bool "lpc1769 (120 Mhz)"
 endchoice
 
+config MCU
+    string
+    default "lpc1768" if MACH_LPC1768
+    default "lpc1769" if MACH_LPC1769
+
 config CLOCK_FREQ
     int
     default 100000000 if MACH_LPC1768

src/lpc176x/main.c

@@ -4,13 +4,9 @@
 //
 // This file may be distributed under the terms of the GNU GPLv3 license.
 
-#include "board/misc.h" // timer_read_time
+#include "internal.h" // enable_pclock
-#include "command.h" // DECL_CONSTANT
-#include "internal.h" // NVIC_SystemReset
 #include "sched.h" // sched_main
 
-DECL_CONSTANT_STR("MCU", "lpc176x");
-
 
 /****************************************************************
  * watchdog handler

src/stm32/main.c

@@ -4,13 +4,9 @@
 //
 // This file may be distributed under the terms of the GNU GPLv3 license.
 
-#include "autoconf.h" // CONFIG_MCU
-#include "command.h" // DECL_CONSTANT_STR
 #include "internal.h" // clock_setup
 #include "sched.h" // sched_main
 
-DECL_CONSTANT_STR("MCU", CONFIG_MCU);
-
 // Main entry point
 int
 main(void)