Merge branch 'develop' into 'master'

Develop



See merge request !27

.gitlab-ci.yml

@@ -1,7 +1,7 @@
 variables:
   SW_KERNEL: "0"
   SW_MAJOR: "1"
-  SW_MINOR: "3"
+  SW_MINOR: "4"
 
 before_script:
   - "echo $CI_BUILD_ID"

source/firmware/kernel/application.c

@@ -8,7 +8,6 @@
 #include <stdbool.h>
 #include <stddef.h>
 
-#include "board.h"
 #include "queue.h"
 #include "stack.h"
 #include "kernel.h"
@@ -17,6 +16,7 @@ static struct thread_context main_task;
 static stack_t main_stack[0xFF];
 
 extern void main(void *arg);
+extern void board_init(void);
 
 int start_application (int argc, char* argv[])
 {