blob: 8d2e9d4b880120982dfecd8d19fa62c6c06f620a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#include "arch.h"
#include "driver/gpio.h"
#include "driver/stdout.h"
#include "driver/uptime.h"
#ifndef TIMER_CYCLES
#error makeflag timer_cycles=1 required
#endif
void loop(void)
{
gpio.led_toggle(1);
#ifdef TIMER_S
kout << dec << uptime.get_s() << endl;
#endif
}
int main(void)
{
arch.setup();
gpio.setup();
kout.setup();
gpio.led_on(0);
kout << "Hello, World!" << endl;
kout << "Test, World!" << endl;
kout << dec << uptime.get_cycles() << endl;
kout << dec << uptime.get_cycles() << endl;
kout << dec << uptime.get_cycles() << endl;
kout << dec << uptime.get_cycles() << endl;
arch.idle_loop();
return 0;
}
|