altos: Allow AO_CONFIG_MAX_SIZE to be configured. Validate it.
[fw/altos] / src / kernel / ao_report_micro.c
2014-04-05 Keith Packardaltos: Rename 'core' to 'kernel'