#include <inttypes.h>
#include "adc_timer.h"
int main (void) {
uint8_t nr = 0;
while (1) {
uint16_t value;
value = adc_timer_get(nr);
string_from_const(uart0_send, "channel[");
string_from_uint (uart0_send, nr, 1);
string_from_const(uart0_send, "] = ");
string_from_uint (uart0_send, value, 5);
string_from_const(uart0_send, "\r\n");
nr++;
if (nr > 7) { nr = 0;}
tick_delay(250);
}
return (0);
}