* configure.in: pic16 libraries build 2nd try - enable running
[fw/sdcc] / device / lib / ds400 /
drwxr-xr-x   ..
-rwxr-xr-x 784 Makefile
-rw-r--r-- 17105 ds400rom.c
-rw-r--r-- 1428 memcpyx.c
-rwxr-xr-x 8176 tinibios.c