Start systick at boot time

prog/sources/setup-loop.cpp

@@ -8,9 +8,6 @@ void setup (USER_MODE) {
 
 	// Configure PTD7 as digital output port (output level is low --> led is off)
 	GPIOD_PDDR |= (1 << 7) ;
-
-	// Init clock
-	startSystick(MODE);
 }
 
 void loop (USER_MODE) {

prog/sources/time.cpp

@@ -1,11 +1,13 @@
 #include "all-headers.h"
 
-void startSystick (USER_MODE) {
+static void startSystick (BOOT_MODE) {
 	SYST_RVR = CPU_MHZ * 1000 - 1 ; // Underflow every ms
 	SYST_CVR = 0 ;
 	SYST_CSR = SYST_CSR_CLKSOURCE | SYST_CSR_ENABLE ;
 }
 
+MACRO_BOOT_ROUTINE (startSystick);
+
 void busyWaitDuring (USER_MODE_ const uint32_t inDelayMS) {
 	const uint32_t COUNTFLAG_MASK = 1 << 16 ;
 	for (uint32_t i = 0; i < inDelayMS; i++) {

prog/sources/time.h

@@ -2,6 +2,5 @@
 
 #include <stdint.h>
 
-void startSystick (USER_MODE);
-
 void busyWaitDuring (USER_MODE_ const uint32_t inDelayMS);
+