From d2bef03437675d608e180697acacc8cb32f174cd Mon Sep 17 00:00:00 2001
From: Alex Zenla <alex@edera.dev>
Date: Thu, 30 Oct 2025 12:30:08 -0400
Subject: [PATCH] fix(platform/timer): add back note of platform timer
 reference

---
 src/platform/timer.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/platform/timer.rs b/src/platform/timer.rs
index 9a2d9be..e546e9c 100644
--- a/src/platform/timer.rs
+++ b/src/platform/timer.rs
@@ -1,3 +1,6 @@
+// Referenced https://github.com/sheroz/tick_counter (MIT license) as a baseline.
+// Architecturally modified to support UEFI and remove x86 (32-bit) support.
+
 use std::time::Duration;
 
 /// Support for aarch64 timers.