altos: Rename 'core' to 'kernel'
[fw/altos] / src / telemini-v1.0 /
drwxr-xr-x   ..
-rw-r--r-- 24 .gitignore
-rw-r--r-- 57 .sdcdbrc
-rw-r--r-- 99 Makefile