altos: Create a 32-bit 1MHz timer for use in profiling execution
[fw/altos] / src / telemini-v1.0 / .sdcdbrc
2011-08-09 Keith Packardaltos: Switch telemini from v0.1 to v1.0