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