patmos: synchronous clock

arch/patmos/CMakeLists.txt

-SET(PASIM_FREQ 10 CACHE INTERNAL STRING)
+# -1: synchroneous interrupts with executed instructions
+
+SET(PASIM_FREQ -1 CACHE INTERNAL STRING)
 
 set(SRCS
   crt0.c

arch/patmos/irq.cc

@@ -46,8 +46,7 @@ void IRQ::set_timer_interval(int ms) {
     uint64_t time_cur = (((uint64_t)u) << 32) | l;
 
     // Time til next interrupt
-    const int TIMER_FREQUENCY = 1000;
-    uint64_t time_inter = (ms * 1000000U) / TIMER_FREQUENCY;
+    uint64_t time_inter = 100000;
 
     uint64_t time_new = time_cur + time_inter;