Ok, the task is still to get some function like GetMillisecClock() working.
Perhaps assigning the created interval timer to the system clock timer in the BSP will do the trick (instead of assigning it to the timestamp timer).
I am not really sure what kind of functions do need the system clock timer. Perhaps somebody can enlighten me?
I even stumbled over a function called alt_nticks(). Maybe this could work...
At the moment it simply returns
1 if alt_sys_init() was not called
and
0 if alt_sys_init() was called.
(From some Altera pdf: It returns zero if there is no system
clock available.)
Would alt_nticks() work as a GetMillisecClock()?