blob: d0f9c35f88514c0bf8e8621e03060b7d29ad347a (
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
|
#include "arch.h"
#include "driver/gpio.h"
#include "driver/stdout.h"
#include "driver/uptime.h"
void loop(void)
{
gpio.led_toggle(1);
#ifdef TIMER_S
kout << dec << uptime.get_s() << endl;
#else
kout << "beep boop" << endl;
#endif
}
int main(void)
{
arch.setup();
gpio.setup();
kout.setup();
gpio.led_on(0);
kout << "Hello, World!" << endl;
kout << "Test, World!" << endl;
arch.idle_loop();
return 0;
}
|