Fix timer when run in bertos emulator.
[bertos.git] / bertos /
drwxr-xr-x   ..
drwxr-xr-x - algo
drwxr-xr-x - cfg
-rw-r--r-- 2718 config.mk
drwxr-xr-x - cpu
drwxr-xr-x - drv
drwxr-xr-x - dt
drwxr-xr-x - emul
drwxr-xr-x - fonts
drwxr-xr-x - fs
drwxr-xr-x - gfx
drwxr-xr-x - gui
drwxr-xr-x - hw
drwxr-xr-x - icons
drwxr-xr-x - kern
drwxr-xr-x - mware
drwxr-xr-x - net
drwxr-xr-x - os
-rw-r--r-- 9262 rules.mk
-rwxr-xr-x 550 run_tests.sh
-rw-r--r-- 1865 verstag.c
-rw-r--r-- 3415 verstag.h