altos: Rename 'core' to 'kernel'
[fw/altos] / src / usbtrng / ao_usbtrng.c
2014-03-10 Keith Packardaltos: Another missing usbtrng file