kosmos threading running

source/firmware/kernel/driver/timer.c

@@ -2,9 +2,10 @@
 //! \author tkl
 //! \date Jul 5, 2012
 //! \brief Source file of the architecture independent timer implementation.
+#include "include/timer.h"
+
 #include <stddef.h>
 
-#include "timer.h"
 
 int timer_open(const struct loki_timer *device)
 {

source/firmware/kernel/include/sys_tick.h

@@ -8,6 +8,6 @@
 #ifndef SYS_TICK_H_
 #define SYS_TICK_H_
 
-//void sys_tick_init(const struct loki_timer *hw_timer);
+void sys_tick_init(const struct loki_timer *hw_timer);
 
 #endif /* SYS_TICK_H_ */

source/firmware/kernel/sys_tick.c

@@ -4,13 +4,12 @@
  *  Created on: Sep 25, 2015
  *      Author: tkl
  */
-#include "include/sys_tick.h"
-
 #include <stddef.h>
 #include <stdbool.h>
 
-#include "irq.h"
 #include "timer.h"
+#include "sys_tick.h"
+#include "irq.h"
 #include "stack.h"
 #include "queue.h"
 #include "thread.h"