From e50a8af6e92095858706041d01a124589a9eaea6 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Wed, 22 Jan 2025 12:18:33 +0100
Subject: [PATCH] Wed 22 Jan 12:17:36 CET 2025

---
 kernel/clock.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/kernel/clock.h b/kernel/clock.h
index f931244..f79abec 100644
--- a/kernel/clock.h
+++ b/kernel/clock.h
@@ -9,6 +9,10 @@ See the file LICENSE for details.
 
 #include "kernel/types.h"
 
+#ifdef KERNEL_CLOCK_EXT
+  #include "kernel_clock_ext.h"
+#endif
+
 typedef struct {
 	uint32_t seconds;
 	uint32_t millis;