altos: 8051 64 * 16 multiply function was broken for negative 64-bit
[fw/altos] / src / kernel / ao_int64.c
2014-05-09 Keith Packardaltos: 8051 64 * 16 multiply function was broken for...
2014-04-05 Keith Packardaltos: Rename 'core' to 'kernel'