altos: Rename 'core' to 'kernel'
[fw/altos] / src / telemini-v1.0 / .sdcdbrc
1 --directory=../cc1111:../product:../kernel:../drivers:.
2