From 20eda7cf73cf73e7466832985dfcac2ead94887b Mon Sep 17 00:00:00 2001
From: Alberto Nidasio <alberto.nidasio@skywarder.eu>
Date: Sat, 13 Aug 2022 13:48:02 +0200
Subject: [PATCH] [Baudrate] Set baudrate to 115200 for all boards

---
 .../board_settings.h                          | 31 +++----
 .../stm32f100c8_microboard/board_settings.h   | 31 +++----
 .../stm32f100c8_vaisala_rs41/board_settings.h | 33 +++----
 .../stm32f100cb_tempsensor/board_settings.h   | 31 +++----
 .../stm32f100cx_generic/board_settings.h      | 31 +++----
 .../board_settings.h                          | 37 ++++----
 .../stm32f100rc_solertegiard/board_settings.h | 37 ++++----
 .../stm32f103c8_breakout/board_settings.h     | 37 ++++----
 .../board_settings.h                          | 37 ++++----
 .../board_settings.h                          | 37 ++++----
 .../board_settings.h                          | 31 +++----
 .../stm32f103cx_generic/board_settings.h      | 31 +++----
 .../stm32f103ve_mp3v2/board_settings.h        | 35 ++++----
 .../stm32f103ve_strive_mini/board_settings.h  | 35 ++++----
 .../stm32f103ze_redbull_v2/board_settings.h   | 35 ++++----
 .../board_settings.h                          | 35 ++++----
 .../stm32f205_generic/board_settings.h        | 41 ++++-----
 .../board_settings.h                          | 35 ++++----
 .../board_settings.h                          | 41 ++++-----
 .../stm32f207ze_als_camboard/board_settings.h | 37 ++++----
 .../stm32f207zg_EthBoardV2/board_settings.h   | 43 +++++-----
 .../board_settings.h                          | 37 ++++----
 .../board_settings.h                          | 35 ++++----
 .../stm32f401re_nucleo/board_settings.h       | 37 ++++----
 .../board_settings.h                          | 37 ++++----
 .../stm32f407vg_bitsboard/board_settings.h    | 37 ++++----
 .../board_settings.h                          | 41 ++++-----
 .../board_settings.h                          | 41 ++++-----
 .../stm32f411ce_blackpill/board_settings.h    | 37 ++++----
 .../stm32f411re_nucleo/board_settings.h       | 37 ++++----
 .../stm32f429zi_oledboard2/board_settings.h   | 37 ++++----
 .../board_settings.h                          | 41 ++++-----
 .../board_settings.h                          | 39 +++++----
 .../board_settings.h                          | 85 ++++++++++++++++++
 .../board_settings.h                          | 86 +++++++++++++++++++
 .../board_settings.h                          | 39 +++++----
 .../board_settings.h                          | 37 ++++----
 .../board_settings.h                          | 37 ++++----
 .../board_settings.h                          | 41 ++++-----
 .../stm32l476rg_nucleo/board_settings.h       | 37 ++++----
 40 files changed, 884 insertions(+), 675 deletions(-)
 create mode 100644 miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation/board_settings.h
 create mode 100644 miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation_parafoil/board_settings.h

diff --git a/miosix/config/arch/cortexM0_stm32/stm32f072rb_stm32f0discovery/board_settings.h b/miosix/config/arch/cortexM0_stm32/stm32f072rb_stm32f0discovery/board_settings.h
index 2c07b265..2544d269 100644
--- a/miosix/config/arch/cortexM0_stm32/stm32f072rb_stm32f0discovery/board_settings.h
+++ b/miosix/config/arch/cortexM0_stm32/stm32f072rb_stm32f0discovery/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,26 +47,26 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F100C8 only has 8KB of RAM so the stack is only 1.5KB.
-const unsigned int MAIN_STACK_SIZE=1024+512;
+const unsigned int MAIN_STACK_SIZE = 1024 + 512;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100CB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 3 is not used, so not enabling DMA
@@ -74,6 +75,6 @@ const bool defaultSerialFlowctrl=false;
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f100c8_microboard/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f100c8_microboard/board_settings.h
index 0a6cefc8..52585e6a 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f100c8_microboard/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f100c8_microboard/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,26 +47,26 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F100C8 only has 8KB of RAM so the stack is only 1.5KB.
-const unsigned int MAIN_STACK_SIZE=1024+512;
+const unsigned int MAIN_STACK_SIZE = 1024 + 512;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100CB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
@@ -74,6 +75,6 @@ const bool defaultSerialFlowctrl=false;
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f100c8_vaisala_rs41/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f100c8_vaisala_rs41/board_settings.h
index 8380f633..1ae39cd5 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f100c8_vaisala_rs41/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f100c8_vaisala_rs41/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,34 +47,34 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F100C8 only has 8KB of RAM so the stack is only 1.5KB.
-const unsigned int MAIN_STACK_SIZE=1024+512;
+const unsigned int MAIN_STACK_SIZE = 1024 + 512;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100CB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=3;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 3;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
-#define SERIAL_3_DMA 
+#define SERIAL_3_DMA
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f100cb_tempsensor/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f100cb_tempsensor/board_settings.h
index 209a44d0..f6193b52 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f100cb_tempsensor/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f100cb_tempsensor/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,26 +47,26 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F100CB only has 8KB of RAM so the stack is only 1.5KB.
-const unsigned int MAIN_STACK_SIZE=1024+512;
+const unsigned int MAIN_STACK_SIZE = 1024 + 512;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100CB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
@@ -74,6 +75,6 @@ const bool defaultSerialFlowctrl=false;
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f100cx_generic/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f100cx_generic/board_settings.h
index 9b018517..2c2dd747 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f100cx_generic/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f100cx_generic/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -45,24 +46,24 @@ namespace miosix {
 
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB)
-const unsigned int MAIN_STACK_SIZE=2048;
+const unsigned int MAIN_STACK_SIZE = 2048;
 
 /// Frequency of tick (in Hz)
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
@@ -71,6 +72,6 @@ const bool defaultSerialFlowctrl=false;
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f100rb_stm32vldiscovery/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f100rb_stm32vldiscovery/board_settings.h
index d2842d6a..1bad479f 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f100rb_stm32vldiscovery/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f100rb_stm32vldiscovery/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F100RB only has 8KB of RAM so the stack is only 1.5KB.
-const unsigned int MAIN_STACK_SIZE=1024+512;
+const unsigned int MAIN_STACK_SIZE = 1024 + 512;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f100rc_solertegiard/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f100rc_solertegiard/board_settings.h
index 4e4c68e6..26e86096 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f100rc_solertegiard/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f100rc_solertegiard/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F100RB only has 8KB of RAM so the stack is only 1.5KB.
-const unsigned int MAIN_STACK_SIZE=1024+512;
+const unsigned int MAIN_STACK_SIZE = 1024 + 512;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103c8_breakout/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103c8_breakout/board_settings.h
index 4f97600b..86f49a28 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103c8_breakout/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103c8_breakout/board_settings.h
@@ -27,7 +27,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -37,7 +37,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -47,40 +48,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F103C8 has 20KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103c8_skyward_alderaan/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103c8_skyward_alderaan/board_settings.h
index 4f97600b..86f49a28 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103c8_skyward_alderaan/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103c8_skyward_alderaan/board_settings.h
@@ -27,7 +27,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -37,7 +37,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -47,40 +48,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F103C8 has 20KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103cb_als_mainboard_rev2/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103cb_als_mainboard_rev2/board_settings.h
index 1f9e24ea..0467f6a7 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103cb_als_mainboard_rev2/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103cb_als_mainboard_rev2/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F103CB has 20KB of RAM so use a small 1.5K stack.
-const unsigned int MAIN_STACK_SIZE=1024+512;
+const unsigned int MAIN_STACK_SIZE = 1024 + 512;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F103CB timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is used, but no DMA to save on code
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 3 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103cb_skyward_strain_board/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103cb_skyward_strain_board/board_settings.h
index aba4f3b6..22a65604 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103cb_skyward_strain_board/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103cb_skyward_strain_board/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -45,30 +46,30 @@ namespace miosix {
 
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB)
-const unsigned int MAIN_STACK_SIZE=2048;
+const unsigned int MAIN_STACK_SIZE = 2048;
 
 /// Frequency of tick (in Hz)
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=3;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 3;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_3_DMA
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103cx_generic/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103cx_generic/board_settings.h
index 9b018517..2c2dd747 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103cx_generic/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103cx_generic/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -45,24 +46,24 @@ namespace miosix {
 
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB)
-const unsigned int MAIN_STACK_SIZE=2048;
+const unsigned int MAIN_STACK_SIZE = 2048;
 
 /// Frequency of tick (in Hz)
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
@@ -71,6 +72,6 @@ const bool defaultSerialFlowctrl=false;
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103ve_mp3v2/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103ve_mp3v2/board_settings.h
index d779c641..a7b73447 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103ve_mp3v2/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103ve_mp3v2/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,37 +47,37 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F103VE has 64KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F103VE timer in the
 /// mp3v2 board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103ve_strive_mini/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103ve_strive_mini/board_settings.h
index d779c641..a7b73447 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103ve_strive_mini/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103ve_strive_mini/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,37 +47,37 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F103VE has 64KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F103VE timer in the
 /// mp3v2 board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103ze_redbull_v2/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103ze_redbull_v2/board_settings.h
index 15f00741..408a54b7 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103ze_redbull_v2/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103ze_redbull_v2/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,37 +47,37 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F103VE has 64KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F103VE timer in the
 /// mp3v2 board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 3 is not used, so not enabling DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32/stm32f103ze_stm3210e-eval/board_settings.h b/miosix/config/arch/cortexM3_stm32/stm32f103ze_stm3210e-eval/board_settings.h
index 325df63a..ab9b8186 100644
--- a/miosix/config/arch/cortexM3_stm32/stm32f103ze_stm3210e-eval/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32/stm32f103ze_stm3210e-eval/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,37 +47,37 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F103ZE has 64KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F103ZE timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 1 is not used, so not enabling DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32f2/stm32f205_generic/board_settings.h b/miosix/config/arch/cortexM3_stm32f2/stm32f205_generic/board_settings.h
index 0f77b8c5..2743d106 100644
--- a/miosix/config/arch/cortexM3_stm32f2/stm32f205_generic/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32f2/stm32f205_generic/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,44 +47,44 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F205 has 128KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F205RC timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA
 //#define SERIAL_3_DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
 #define SD_ONE_BIT_DATABUS
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32f2/stm32f205rc_skyward_stormtrooper/board_settings.h b/miosix/config/arch/cortexM3_stm32f2/stm32f205rc_skyward_stormtrooper/board_settings.h
index 8419cf56..6b080f93 100644
--- a/miosix/config/arch/cortexM3_stm32f2/stm32f205rc_skyward_stormtrooper/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32f2/stm32f205rc_skyward_stormtrooper/board_settings.h
@@ -27,7 +27,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -37,7 +37,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -47,38 +48,38 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F205RC has 128KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F205RC timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 has no DMA as it would conflict with SPI6
 // #define SERIAL_2_DMA   //Serial 2 is used by the piksi GPS, enable DMA
 //#define SERIAL_3_DMA //Serial 3 is not used
 
-//STM32Serial class supports only USART1, for USART2 and USART3 low-level
-//access is needed to write modbus RTU driver properly
+// STM32Serial class supports only USART1, for USART2 and USART3 low-level
+// access is needed to write modbus RTU driver properly
 #define STM32_NO_SERIAL_2_3
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32f2/stm32f207ig_stm3220g-eval/board_settings.h b/miosix/config/arch/cortexM3_stm32f2/stm32f207ig_stm3220g-eval/board_settings.h
index 4d1b7fe0..8ca9e0f6 100644
--- a/miosix/config/arch/cortexM3_stm32f2/stm32f207ig_stm3220g-eval/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32f2/stm32f207ig_stm3220g-eval/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,43 +47,43 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F207IG has 128KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F207IG timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-//This board only exposes USART3, without flow control
-const unsigned int defaultSerialSpeed=19200;
+// This board only exposes USART3, without flow control
+const unsigned int defaultSerialSpeed = 115200;
 //#define SERIAL_1_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 #define SERIAL_3_DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32f2/stm32f207ze_als_camboard/board_settings.h b/miosix/config/arch/cortexM3_stm32f2/stm32f207ze_als_camboard/board_settings.h
index 60b4e72d..efa6d271 100644
--- a/miosix/config/arch/cortexM3_stm32f2/stm32f207ze_als_camboard/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32f2/stm32f207ze_als_camboard/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F207ZG has 128KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F207ZG timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //TODO: DCMI driver conflicts, buf can be fixed
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 3 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32f2/stm32f207zg_EthBoardV2/board_settings.h b/miosix/config/arch/cortexM3_stm32f2/stm32f207zg_EthBoardV2/board_settings.h
index 06ba71d4..8db2ad55 100644
--- a/miosix/config/arch/cortexM3_stm32f2/stm32f207zg_EthBoardV2/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32f2/stm32f207zg_EthBoardV2/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,44 +47,44 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F207IG has 128KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F207ZG timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
-#define SERIAL_1_DMA 
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
+#define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 3 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
 //#define SD_ONE_BIT_DATABUS //Using 4 bit fast bus
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM3_stm32l1/stm32l151c8_als_mainboard/board_settings.h b/miosix/config/arch/cortexM3_stm32l1/stm32l151c8_als_mainboard/board_settings.h
index b25dbef6..3f5b2a56 100644
--- a/miosix/config/arch/cortexM3_stm32l1/stm32l151c8_als_mainboard/board_settings.h
+++ b/miosix/config/arch/cortexM3_stm32l1/stm32l151c8_als_mainboard/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1.5KB) and the
 /// STM32F151C8 has 10KB of RAM so use a small 1.5K stack.
-const unsigned int MAIN_STACK_SIZE=1536;
+const unsigned int MAIN_STACK_SIZE = 1536;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F151C8 timer in the
 /// Miosix board can be divided by 1000. This allows to use a 1KHz tick and
 /// the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is used, but no DMA to save on code
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 //#define SERIAL_3_DMA //Serial 3 is not used, so not enabling DMA
 
 ///\def STDOUT_REDIRECTED_TO_DCC
-///If defined, stdout is redirected to the debug communication channel, and
-///will be printed if OpenOCD is connected. If not defined, stdout will be
-///redirected throug USART1, as usual.
+/// If defined, stdout is redirected to the debug communication channel, and
+/// will be printed if OpenOCD is connected. If not defined, stdout will be
+/// redirected throug USART1, as usual.
 //#define STDOUT_REDIRECTED_TO_DCC
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f3/stm32f303vc_stm32f3discovery/board_settings.h b/miosix/config/arch/cortexM4_stm32f3/stm32f303vc_stm32f3discovery/board_settings.h
index 97533417..ad25573c 100644
--- a/miosix/config/arch/cortexM4_stm32f3/stm32f303vc_stm32f3discovery/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f3/stm32f303vc_stm32f3discovery/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -44,40 +45,40 @@ namespace miosix {
  */
 
 /// Size of stack for main().
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 // #define SERIAL_2_DMA
 // #define SERIAL_3_DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
 // #define SD_ONE_BIT_DATABUS
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f401re_nucleo/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f401re_nucleo/board_settings.h
index ac731b44..c95c816e 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f401re_nucleo/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f401re_nucleo/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,37 +47,37 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=2;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 2;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA
 #define SERIAL_2_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
-#define SD_ONE_BIT_DATABUS //For now we'll use 1 bit bus
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
+#define SD_ONE_BIT_DATABUS                  // For now we'll use 1 bit bus
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f401vc_stm32f4discovery/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f401vc_stm32f4discovery/board_settings.h
index efccfafa..2a432b76 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f401vc_stm32f4discovery/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f401vc_stm32f4discovery/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F401VC only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F401VC timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=2;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 2;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_2_DMA //Serial 2 DMA conflicts with I2S driver in the examples
 //#define SERIAL_3_DMA //Serial 3 is not used, so not enabling DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_bitsboard/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_bitsboard/board_settings.h
index 1867dfb3..217c5a16 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_bitsboard/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_bitsboard/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,38 +47,38 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=3;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 3;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_2_DMA //Serial 2 DMA conflicts with I2S driver in the examples
 #define SERIAL_3_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_skyward_tortellino/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_skyward_tortellino/board_settings.h
index d33881ab..3543dd8b 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_skyward_tortellino/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_skyward_tortellino/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,45 +47,45 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port (USART3 PB10=TX, PB11=RX)
-const unsigned int defaultSerial=3;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 3;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 // Aux serial port (hardcoded USART2 PA2=TX, PA3=RX).
 // Uncomment AUX_SERIAL to enable. The device will appear as /dev/auxtty.
 //#define AUX_SERIAL "auxtty"
-const unsigned int auxSerialSpeed=9600;
-const bool auxSerialFlowctrl=false;
+const unsigned int auxSerialSpeed = 9600;
+const bool auxSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_2_DMA //Serial 2 DMA conflicts with I2S driver in the examples
 #define SERIAL_3_DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_stm32f4discovery/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_stm32f4discovery/board_settings.h
index d33881ab..3543dd8b 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_stm32f4discovery/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f407vg_stm32f4discovery/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,45 +47,45 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port (USART3 PB10=TX, PB11=RX)
-const unsigned int defaultSerial=3;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 3;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 // Aux serial port (hardcoded USART2 PA2=TX, PA3=RX).
 // Uncomment AUX_SERIAL to enable. The device will appear as /dev/auxtty.
 //#define AUX_SERIAL "auxtty"
-const unsigned int auxSerialSpeed=9600;
-const bool auxSerialFlowctrl=false;
+const unsigned int auxSerialSpeed = 9600;
+const bool auxSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_2_DMA //Serial 2 DMA conflicts with I2S driver in the examples
 #define SERIAL_3_DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f411ce_blackpill/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f411ce_blackpill/board_settings.h
index f3d66bed..f3bf40c1 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f411ce_blackpill/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f411ce_blackpill/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,37 +47,37 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
-#define SD_ONE_BIT_DATABUS //For now we'll use 1 bit bus
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
+#define SD_ONE_BIT_DATABUS                  // For now we'll use 1 bit bus
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f411re_nucleo/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f411re_nucleo/board_settings.h
index ac731b44..c95c816e 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f411re_nucleo/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f411re_nucleo/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,37 +47,37 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=2;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 2;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA
 #define SERIAL_2_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
-#define SD_ONE_BIT_DATABUS //For now we'll use 1 bit bus
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
+#define SD_ONE_BIT_DATABUS                  // For now we'll use 1 bit bus
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_oledboard2/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_oledboard2/board_settings.h
index 91b090d5..051a1d83 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_oledboard2/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_oledboard2/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,38 +47,38 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 can't be used (GPIO conflict), so no DMA
 //#define SERIAL_3_DMA //Serial 3 can't be used (GPIO conflict), so no DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_anakin/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_anakin/board_settings.h
index 1e8abed4..025deee3 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_anakin/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_anakin/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,44 +47,44 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F429ZI only has 256KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F429ZI timer in the
 /// anakin board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 has no DMA as it would conflict with SPI6
-#define SERIAL_2_DMA   //Serial 2 is used by the piksi GPS, enable DMA
+#define SERIAL_2_DMA  // Serial 2 is used by the piksi GPS, enable DMA
 //#define SERIAL_3_DMA //Serial 3 is not used
 
 #define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
 #ifdef __ENABLE_XRAM
-//Reduce SD clock to ~4.8MHz
+// Reduce SD clock to ~4.8MHz
 #define OVERRIDE_SD_CLOCK_DIVIDER_MAX 8
-#endif //__ENABLE_XRAM
+#endif  //__ENABLE_XRAM
 //#define SD_ONE_BIT_DATABUS //Use full 4 bit data bus to SD card
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_death_stack/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_death_stack/board_settings.h
index b86ebdab..c56f3593 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_death_stack/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_death_stack/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,44 +47,44 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=16*1024;
+const unsigned int MAIN_STACK_SIZE = 16 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 can't be used (GPIO conflict), so no DMA
 //#define SERIAL_3_DMA //Serial 3 can't be used (GPIO conflict), so no DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
 #ifdef __ENABLE_XRAM
-//Reduce SD clock to ~4.8MHz
+// Reduce SD clock to ~4.8MHz
 #define OVERRIDE_SD_CLOCK_DIVIDER_MAX 8
-#endif //__ENABLE_XRAM
+#endif  //__ENABLE_XRAM
 //#define SD_ONE_BIT_DATABUS //This board supports 4 bit databus to SD card
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation/board_settings.h
new file mode 100644
index 00000000..cb3b1582
--- /dev/null
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation/board_settings.h
@@ -0,0 +1,85 @@
+/***************************************************************************
+ *   Copyright (C) 2014 by Terraneo Federico                               *
+ *                                                                         *
+ *   This program is free software; you can redistribute it and/or modify  *
+ *   it under the terms of the GNU General Public License as published by  *
+ *   the Free Software Foundation; either version 2 of the License, or     *
+ *   (at your option) any later version.                                   *
+ *                                                                         *
+ *   This program is distributed in the hope that it will be useful,       *
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *
+ *   GNU General Public License for more details.                          *
+ *                                                                         *
+ *   As a special exception, if other files instantiate templates or use   *
+ *   macros or inline functions from this file, or you compile this file   *
+ *   and link it with other works to produce a work based on this file,    *
+ *   this file does not by itself cause the resulting work to be covered   *
+ *   by the GNU General Public License. However the source code for this   *
+ *   file must still be made available in accordance with the GNU General  *
+ *   Public License. This exception does not invalidate any other reasons  *
+ *   why a work based on this file might be covered by the GNU General     *
+ *   Public License.                                                       *
+ *                                                                         *
+ *   You should have received a copy of the GNU General Public License     *
+ *   along with this program; if not, see <http://www.gnu.org/licenses/>   *
+ ***************************************************************************/
+
+#ifndef BOARD_SETTINGS_H
+#define	BOARD_SETTINGS_H
+
+#include "util/version.h"
+
+/**
+ * \internal
+ * Versioning for board_settings.h for out of git tree projects
+ */
+#define BOARD_SETTINGS_VERSION 100
+
+namespace miosix {
+
+/**
+ * \addtogroup Settings
+ * \{
+ */
+
+/// Size of stack for main().
+/// The C standard library is stack-heavy (iprintf requires 1KB) but the
+/// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
+const unsigned int MAIN_STACK_SIZE=4*1024;
+
+/// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
+/// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
+/// tick and the minimun Thread::sleep value is 1ms
+/// For the priority scheduler this is also the context switch frequency
+const unsigned int TICK_FREQ=1000;
+
+///\internal Aux timer run @ 100KHz
+///Note that since the timer is only 16 bits this imposes a limit on the
+///burst measurement of 655ms. If due to a pause_kernel() or
+///disable_interrupts() section a thread runs for more than that time, a wrong
+///burst value will be measured
+const unsigned int AUX_TIMER_CLOCK=100000;
+const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+
+/// Serial port
+const unsigned int defaultSerial=1;
+const unsigned int defaultSerialSpeed=115200;
+const bool defaultSerialFlowctrl=false;
+#define SERIAL_1_DMA
+//#define SERIAL_2_DMA //Serial 2 can't be used (GPIO conflict), so no DMA
+//#define SERIAL_3_DMA //Serial 3 can't be used (GPIO conflict), so no DMA
+
+//#define I2C_WITH_DMA
+
+//SD card driver
+static const unsigned char sdVoltage=30; //Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+
+/**
+ * \}
+ */
+
+} //namespace miosix
+
+#endif	/* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation_parafoil/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation_parafoil/board_settings.h
new file mode 100644
index 00000000..cb4cda88
--- /dev/null
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_groundstation_parafoil/board_settings.h
@@ -0,0 +1,86 @@
+/***************************************************************************
+ *   Copyright (C) 2014 by Terraneo Federico                               *
+ *                                                                         *
+ *   This program is free software; you can redistribute it and/or modify  *
+ *   it under the terms of the GNU General Public License as published by  *
+ *   the Free Software Foundation; either version 2 of the License, or     *
+ *   (at your option) any later version.                                   *
+ *                                                                         *
+ *   This program is distributed in the hope that it will be useful,       *
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *
+ *   GNU General Public License for more details.                          *
+ *                                                                         *
+ *   As a special exception, if other files instantiate templates or use   *
+ *   macros or inline functions from this file, or you compile this file   *
+ *   and link it with other works to produce a work based on this file,    *
+ *   this file does not by itself cause the resulting work to be covered   *
+ *   by the GNU General Public License. However the source code for this   *
+ *   file must still be made available in accordance with the GNU General  *
+ *   Public License. This exception does not invalidate any other reasons  *
+ *   why a work based on this file might be covered by the GNU General     *
+ *   Public License.                                                       *
+ *                                                                         *
+ *   You should have received a copy of the GNU General Public License     *
+ *   along with this program; if not, see <http://www.gnu.org/licenses/>   *
+ ***************************************************************************/
+
+#ifndef BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
+
+#include "util/version.h"
+
+/**
+ * \internal
+ * Versioning for board_settings.h for out of git tree projects
+ */
+#define BOARD_SETTINGS_VERSION 100
+
+namespace miosix
+{
+
+/**
+ * \addtogroup Settings
+ * \{
+ */
+
+/// Size of stack for main().
+/// The C standard library is stack-heavy (iprintf requires 1KB) but the
+/// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
+
+/// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
+/// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
+/// tick and the minimun Thread::sleep value is 1ms
+/// For the priority scheduler this is also the context switch frequency
+const unsigned int TICK_FREQ = 1000;
+
+///\internal Aux timer run @ 100KHz
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
+
+/// Serial port
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
+// #define SERIAL_1_DMA
+//#define SERIAL_2_DMA //Serial 2 can't be used (GPIO conflict), so no DMA
+//#define SERIAL_3_DMA //Serial 3 can't be used (GPIO conflict), so no DMA
+
+//#define I2C_WITH_DMA
+
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
+
+/**
+ * \}
+ */
+
+}  // namespace miosix
+
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_homeone/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_homeone/board_settings.h
index 8bc4129f..a52c9669 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_homeone/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_homeone/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,44 +47,44 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 can't be used (GPIO conflict), so no DMA
 //#define SERIAL_3_DMA //Serial 3 can't be used (GPIO conflict), so no DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
 #ifdef __ENABLE_XRAM
-//Reduce SD clock to ~4.8MHz
+// Reduce SD clock to ~4.8MHz
 #define OVERRIDE_SD_CLOCK_DIVIDER_MAX 8
-#endif //__ENABLE_XRAM
+#endif  //__ENABLE_XRAM
 //#define SD_ONE_BIT_DATABUS //This board supports 4 bit databus to SD card
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_rogallina/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_rogallina/board_settings.h
index e92c9e20..c46baac9 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_rogallina/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_skyward_rogallina/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 can't be used (GPIO conflict), so no DMA
 //#define SERIAL_3_DMA //Serial 3 can't be used (GPIO conflict), so no DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_stm32f4discovery/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_stm32f4discovery/board_settings.h
index e92c9e20..c46baac9 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_stm32f4discovery/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f429zi_stm32f4discovery/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,40 +47,40 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=1;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 1;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 #define SERIAL_1_DMA
 //#define SERIAL_2_DMA //Serial 2 can't be used (GPIO conflict), so no DMA
 //#define SERIAL_3_DMA //Serial 3 can't be used (GPIO conflict), so no DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32f4/stm32f469ni_stm32f469i-disco/board_settings.h b/miosix/config/arch/cortexM4_stm32f4/stm32f469ni_stm32f469i-disco/board_settings.h
index 4b1ac0c2..b16f9b43 100644
--- a/miosix/config/arch/cortexM4_stm32f4/stm32f469ni_stm32f469i-disco/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32f4/stm32f469ni_stm32f469i-disco/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,42 +47,42 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-/// Using the Serial port 3 because it is the virtual serial port available 
-/// through ST-LINK on the stm32f469i-disco board  
-const unsigned int defaultSerial=3;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+/// Using the Serial port 3 because it is the virtual serial port available
+/// through ST-LINK on the stm32f469i-disco board
+const unsigned int defaultSerial      = 3;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA //Serial 1 is not used, so not enabling DMA
 //#define SERIAL_2_DMA //Serial 2 is not used, so not enabling DMA
 #define SERIAL_3_DMA
 
 //#define I2C_WITH_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=30; //Board powered @ 3.0V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 30;  // Board powered @ 3.0V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
diff --git a/miosix/config/arch/cortexM4_stm32l4/stm32l476rg_nucleo/board_settings.h b/miosix/config/arch/cortexM4_stm32l4/stm32l476rg_nucleo/board_settings.h
index cd357763..fc710354 100644
--- a/miosix/config/arch/cortexM4_stm32l4/stm32l476rg_nucleo/board_settings.h
+++ b/miosix/config/arch/cortexM4_stm32l4/stm32l476rg_nucleo/board_settings.h
@@ -26,7 +26,7 @@
  ***************************************************************************/
 
 #ifndef BOARD_SETTINGS_H
-#define	BOARD_SETTINGS_H
+#define BOARD_SETTINGS_H
 
 #include "util/version.h"
 
@@ -36,7 +36,8 @@
  */
 #define BOARD_SETTINGS_VERSION 100
 
-namespace miosix {
+namespace miosix
+{
 
 /**
  * \addtogroup Settings
@@ -46,38 +47,38 @@ namespace miosix {
 /// Size of stack for main().
 /// The C standard library is stack-heavy (iprintf requires 1KB) but the
 /// STM32F407VG only has 192KB of RAM so there is room for a big 4K stack.
-const unsigned int MAIN_STACK_SIZE=4*1024;
+const unsigned int MAIN_STACK_SIZE = 4 * 1024;
 
 /// Frequency of tick (in Hz). The frequency of the STM32F100RB timer in the
 /// stm32vldiscovery board can be divided by 1000. This allows to use a 1KHz
 /// tick and the minimun Thread::sleep value is 1ms
 /// For the priority scheduler this is also the context switch frequency
-const unsigned int TICK_FREQ=1000;
+const unsigned int TICK_FREQ = 1000;
 
 ///\internal Aux timer run @ 100KHz
-///Note that since the timer is only 16 bits this imposes a limit on the
-///burst measurement of 655ms. If due to a pause_kernel() or
-///disable_interrupts() section a thread runs for more than that time, a wrong
-///burst value will be measured
-const unsigned int AUX_TIMER_CLOCK=100000;
-const unsigned int AUX_TIMER_MAX=0xffff; ///<\internal Aux timer is 16 bits
+/// Note that since the timer is only 16 bits this imposes a limit on the
+/// burst measurement of 655ms. If due to a pause_kernel() or
+/// disable_interrupts() section a thread runs for more than that time, a wrong
+/// burst value will be measured
+const unsigned int AUX_TIMER_CLOCK = 100000;
+const unsigned int AUX_TIMER_MAX   = 0xffff;  ///<\internal Aux timer is 16 bits
 
 /// Serial port
-const unsigned int defaultSerial=2;
-const unsigned int defaultSerialSpeed=19200;
-const bool defaultSerialFlowctrl=false;
+const unsigned int defaultSerial      = 2;
+const unsigned int defaultSerialSpeed = 115200;
+const bool defaultSerialFlowctrl      = false;
 //#define SERIAL_1_DMA
 #define SERIAL_2_DMA
 //#define SERIAL_3_DMA
 
-//SD card driver
-static const unsigned char sdVoltage=33; //Board powered @ 3.3V
-#define SD_ONE_BIT_DATABUS //Can't use 4 bit databus due to pin conflicts
+// SD card driver
+static const unsigned char sdVoltage = 33;  // Board powered @ 3.3V
+#define SD_ONE_BIT_DATABUS  // Can't use 4 bit databus due to pin conflicts
 
 /**
  * \}
  */
 
-} //namespace miosix
+}  // namespace miosix
 
-#endif	/* BOARD_SETTINGS_H */
+#endif /* BOARD_SETTINGS_H */
-- 
GitLab