altos: Move empty ao_mutex_get/put to ao_notask.h
[fw/altos] / src / drivers / ao_ps2.h
2017-02-20 Keith Packardaltos: Add PS/2 keyboard driver