#include "Os.h"\r
#include "internal.h"\r
#include "stm32f10x.h"\r
-#include "irq.h"\r
+#include "isr.h"\r
#include "arc.h"\r
+#include "counter_i.h"\r
\r
\r
/**\r
* Init of free running timer.\r
*/\r
void Os_SysTickInit( void ) {\r
+ ISR_INSTALL_ISR2("OsTick",OsTick,SysTick_IRQn,6,0);\r
+#if 0\r
TaskType tid;\r
tid = Os_Arc_CreateIsr(OsTick,6/*prio*/,"OsTick");\r
Irq_AttachIsr2(tid,NULL, SysTick_IRQn);\r
+#endif\r
}\r
\r
/**\r