From 4a6fbecab34616a7b16a859f9458a21b339bb6b0 Mon Sep 17 00:00:00 2001
From: "Luke T. Shumaker" <lukeshu@lukeshu.com>
Date: Sun, 2 Feb 2025 02:01:30 -0700
Subject: Have main() set `bootclock`

---
 cmd/sbc_harness/main.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'cmd/sbc_harness/main.c')

diff --git a/cmd/sbc_harness/main.c b/cmd/sbc_harness/main.c
index b17725d..4580acc 100644
--- a/cmd/sbc_harness/main.c
+++ b/cmd/sbc_harness/main.c
@@ -10,7 +10,9 @@
 #include <hardware/flash.h>  /* pico-sdk:hardware_flash: for flash_get_unique_id() */
 
 #include <libcr/coroutine.h>
+#include <libhw/generic/alarmclock.h> /* so we can set `bootclock` */
 #include <libhw/rp2040_hwspi.h>
+#include <libhw/rp2040_hwtimer.h>
 #include <libhw/w5500.h>
 #include <libmisc/hash.h>
 #include <libmisc/vcall.h>
@@ -131,6 +133,7 @@ COROUTINE init_cr(void *) {
 }
 
 int main() {
+	bootclock = rp2040_hwtimer(0);
 	stdio_uart_init();
 	/* char *hdr = "=" * (80-strlen("info : MAIN: ")); */
 	infof("===================================================================");
-- 
cgit v1.2.3-2-g168b