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 2c07b265cc4ed86adbcad21e1ae5fd02171e55b7..2544d269231caca6ebe5cd5c728a0351e1089dff 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 0a6cefc8f44d8cda61d6661f83c0cd6d71223610..52585e6a3e9e6bde3754e3cc835f03f3545dca06 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 8380f63329732ae9d4d7b09a0a692e6113eb0e6c..1ae39cd5e6b030c9d43370dd5d56d065fd5290c1 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 209a44d096c4981deba1cece09b2d1bf7b7efa13..f6193b5243c7550b4d7ae3d8f7658940f251d7ea 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 9b01851771898efc5b0b429d935ca5d7612c81bd..2c2dd747e48b10a2e59888113784601396c3dcac 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 d2842d6ae308a22d1200534915edff1931895143..1bad479f4e4cc1e50e5df3fea05a112aa47c85f8 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 4e4c68e65780ab4bde82817688a20003d4a42ff5..26e86096ffa59fe9a4e7f7d907f7579cdb84be72 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 4f97600b69d5542104d68fd038166543e091eb10..86f49a289b3bcf4ff80a5fec66871386c0fd6f97 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 4f97600b69d5542104d68fd038166543e091eb10..86f49a289b3bcf4ff80a5fec66871386c0fd6f97 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 1f9e24ead2b0ee7e10c0b7fed0477a323aea8035..0467f6a7389eecd6abc47738de64f9430e88f14a 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 aba4f3b60e679fc9fca493b6c5c695c4325ac1c1..22a6560485f6af0ec93de60d9661139ee6915237 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 9b01851771898efc5b0b429d935ca5d7612c81bd..2c2dd747e48b10a2e59888113784601396c3dcac 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 d779c6419cdb6100b29806aaac74ac4c19667f68..a7b73447fc97f6c00d0bb499af930d187a6b2164 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 d779c6419cdb6100b29806aaac74ac4c19667f68..a7b73447fc97f6c00d0bb499af930d187a6b2164 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 15f007411454645890badcf17d1e319797ac16a4..408a54b7d5d186e52d9ab2296dddff509c35417a 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 325df63a5e22b805dc4c7e49abb2e97511e9c6e4..ab9b81862ddd5b545e8e03be37060dc24e5af6af 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 0f77b8c54acd3b9b9998818f8bf3c36a56e6f917..2743d106c58924c3fcaf8885b74d7d039bf7df12 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 8419cf56c015c6710de811ef6e6d862fe7bedcb8..6b080f93dc274b2a4c5aa38eb65ca465d6854ad9 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 4d1b7fe09b32c5be388818d924ad565ec0302493..8ca9e0f6dfb91e6c7aa37a8eb354ee43fedf3e14 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 60b4e72df6606b95094c49bf4b83eedd6611aa53..efa6d2711b9780e62cf7ca5608f9029810100559 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 06ba71d4752ff31b3332f1833165ee479601c74a..8db2ad55cd288f8043e1901955a9010eccd08fb7 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 b25dbef66d84aa855230f4e6799f622fe3f0c44a..3f5b2a56f5c8f3d46bdfcd9a5ab1f4d5780ccb89 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 97533417d5d2726b7c2d987387ed595bdd31e9de..ad25573cbeafc922f5d901507428babfc643a253 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 ac731b4479f92d0e0789f9f9096589a10d5f995c..c95c816e21fc326a54cee121f5be903671641463 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 efccfafaf686fa933bb24b3a301d051d25d03ecd..2a432b763df7b54252deec07c4c3ce3dd0f9f218 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 1867dfb3bcd213e77254da3f9a710dfd75262659..217c5a168f4b3e3a8696b18b8928472543cdb275 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 d33881ab461f38d48bea8cca6f68ce3bf81e3672..3543dd8bfe005254d6bd20869184e9dbc344aeaf 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 d33881ab461f38d48bea8cca6f68ce3bf81e3672..3543dd8bfe005254d6bd20869184e9dbc344aeaf 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 f3d66beddea260047c4488f1ab0d4abd4e7249c0..f3bf40c118a51edf93e4c8043b3c6498dfbf6ac3 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 ac731b4479f92d0e0789f9f9096589a10d5f995c..c95c816e21fc326a54cee121f5be903671641463 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 91b090d5ec92c53822e68f0b556b902a362b43a7..051a1d83896a6003b65035e00d4555713250e5cd 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 1e8abed4ba24451fbf33865370e20434bf11bb68..025deee3d3d6e7f1a962eeb74452cabac6df835a 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 b86ebdab0633fbbc81dbfcd3d19df4a18f330e86..c56f3593002cc6a30e8caeea1345455832310c18 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 0000000000000000000000000000000000000000..cb3b1582ab66db26e631044c756fcbc04bfb431c
--- /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 0000000000000000000000000000000000000000..cb4cda889cbb5f5e5526a0762f1339739e252ca5
--- /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 8bc4129f1d42277de7e6e874e5c448e23be47080..a52c9669efc4228de6c18f1b27e0e928b5be431c 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 e92c9e20a09f0ecfadcd22c788b98fb6a9857a1c..c46baac9740aec35719afd09498ca0db3d6aebf8 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 e92c9e20a09f0ecfadcd22c788b98fb6a9857a1c..c46baac9740aec35719afd09498ca0db3d6aebf8 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 4b1ac0c2f63ac869d777c44f545ef20eaccd3862..b16f9b43783bd4b158be58a2e34c4ef3c9df8905 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 cd357763b7df633770c8abe5e066ad6d4423d71b..fc710354fad91e8977862731c0a25ab110b78960 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 */