altos: Change default time type to 32-bits
authorKeith Packard <keithp@keithp.com>
Mon, 25 Feb 2019 23:41:45 +0000 (16:41 -0700)
committerKeith Packard <keithp@keithp.com>
Mon, 25 Feb 2019 23:41:45 +0000 (16:41 -0700)
commit0448b9b638f8599633227a639ef9d8572780bbd9
tree720e86e4f9ba08d0017b2b797d78de12301714e3
parent6fec7b5affd223c18bad78377d7655af958dffc2
altos: Change default time type to 32-bits

Offers additional range for internal use without increasing cost on
32-bit platforms.

Signed-off-by: Keith Packard <keithp@keithp.com>
src/attiny/ao_arch.h
src/kernel/ao.h