altos/drivers/ao_led.c: Declare LED port as void * to allow any SoC to use this code
[fw/altos] / src / kernel / altitude.h
2014-04-05 Keith Packardaltos: Rename 'core' to 'kernel'