altos/stmf0: Use device ID as usb serial number if requested
[fw/altos] / src / kernel / ao_freq.c
2014-04-05 Keith Packardaltos: Rename 'core' to 'kernel'