Get tinibios clock timer interface working on ds400
[fw/sdcc] / support / tests / dhrystone /
drwxr-xr-x   ..
-rw-r--r-- 583 Makefile
-rw-r--r-- 18528 dhry.c
-rw-r--r-- 18505 dhry.h
-rw-r--r-- 414 tini.mak
-rw-r--r-- 427 tini400.mak