Get tinibios clock timer interface working on ds400
[fw/sdcc] / device / examples / ds400 /
drwxr-xr-x   ..
drwxr-xr-x - hello400
drwxr-xr-x - monitor400