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.