altos/stm: use 0xff for dma mutex value for allocated mutexes
[fw/altos] / src / kernel / ao_notask.h
2014-04-05 Keith Packardaltos: Rename 'core' to 'kernel'