blob: fc8ffc513af91c037cc8e0ea87ca17fe11098a7f (
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
|
/*
* Copyright 2020 Daniel Friesel
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include "arch.h"
#include "driver/gpio.h"
#include "driver/stdout.h"
#include "driver/uptime.h"
#include "driver/counter.h"
#include "tree.c.inc"
int main(void)
{
arch.setup();
gpio.setup();
kout.setup();
counter.start();
counter.stop();
kout << "nop @ " << counter.value << "/" << counter.overflow << " cycles" << endl << endl;
run_benchmark();
while (1) {
arch.idle();
}
return 0;
}
|