Make debug configurable reading RTC register RTC_BKP_DR7

Author: pennam

app/target.cpp

@@ -57,6 +57,8 @@ DigitalOut blue(PK_7, 1);
 Ticker swap_ticker;
 int mcuboot_swap_index = -1;
 
+bool debug_enabled = false;
+
 static inline void swap_feedback() {
 
   static int blink_idx = 0;
@@ -158,6 +160,12 @@ static bool empty_keys() {
   return true;
 }
 
+int target_debug_init(void) {
+  RTCInit();
+  debug_enabled = RTCGetBKPRegister(RTC_BKP_DR7) & 0x00000001;
+  return 0;
+}
+
 
 int target_init(void) {
   DigitalIn boot_sel(PI_8,PullDown);

app/target.h

@@ -71,7 +71,8 @@
 #define BOARD_EXTCLOCK       25
 #endif
 
-int target_init(void);
+int target_debug_init(void);
 int target_loop(void);
+int target_debug(void);
 
 #endif /* __TARGET_INIT_H */