altos: Create a 32-bit 1MHz timer for use in profiling execution
[fw/altos] / src / telemini-v1.0 / .sdcdbrc
1 --directory=..