From d378760f664d9120ad1222b953322ee82960cc18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Gr=C3=A9goire?= <loic@gregoire.dev>
Date: Sat, 11 Apr 2026 15:19:43 -0400
Subject: [PATCH] feat(ke): export timecounter functions

---
 src/kern/root.zig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/kern/root.zig b/src/kern/root.zig
index 8f08fed..d055310 100644
--- a/src/kern/root.zig
+++ b/src/kern/root.zig
@@ -37,6 +37,8 @@ pub const dpc = struct {
 pub const time = struct {
     pub const register_source = p.time.register_source;
     pub const read_time_nano = p.time.read_time_nano;
+    pub const best = p.time.best;
+    pub const sleep = p.time.sleep;
 };
 
 pub const sched = struct {