altos: Rename 'core' to 'kernel'
[fw/altos] / debian / source /
drwxr-xr-x   ..
-rw-r--r-- 13 format