rebase

Author: Sangho Lee

litebox_platform_kernel/src/lib.rs

@@ -223,6 +223,7 @@ impl DebugLogProvider for LiteBoxKernel {
 }
 
 /// An implementation of [`litebox::platform::Instant`]
+#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord)]
 pub struct Instant(u64);
 
 /// An implementation of [`litebox::platform::SystemTime`]
@@ -249,6 +250,13 @@ impl litebox::platform::Instant for Instant {
             )
         })
     }
+
+    fn checked_add(&self, duration: core::time::Duration) -> Option<Self> {
+        let duration_micros: u64 = duration.as_micros().try_into().ok()?;
+        Some(Instant(self.0.checked_add(
+            duration_micros.checked_mul(CPU_MHZ.load(core::sync::atomic::Ordering::Relaxed))?,
+        )?))
+    }
 }
 
 impl Instant {