Use custom sdcc libraries (this needs to be configured...)
[fw/altos] / target /
drwxr-xr-x   ..
drwxr-xr-x - blink
-rw-r--r-- 1709 isr.c
drwxr-xr-x - simple
drwxr-xr-x - timer