Changed ADC header to support up to 4096 times oversampling
Changed ADC header to support up to 256x oversampling (14 bits)
Implemented oversampling up to 16 bits resolution
Fixed ADC bug
Implemented process execution time counters
Implemented event timer
Fixed nasty clock bug that made the clock non-monotonic
Added TIMER_MAX_VALUE macro to HAL
Fixed etimer bugs
Converted SPIM module to event timer instead of polling timer
Made ADC module less sensitive to queue refill latency
Removed debugging code from IO monitor
Added second debug LED to debug.h
Switched PSU main app to event timer instead of polling timer
Removed debugging code from adc.c