altos/fox: Enable system timer in flash loader and prod watchdog with it
[fw/altos] / src / telemini-v2.0 / .sdcdbrc
1 --directory=../cc1111:../product:../kernel:../drivers:.
2