diff --git a/src/ariel-os-runqueue/src/runqueue.rs b/src/ariel-os-runqueue/src/runqueue.rs
index 5a1eaf30f..b318e2d5b 100644
--- a/src/ariel-os-runqueue/src/runqueue.rs
+++ b/src/ariel-os-runqueue/src/runqueue.rs
@@ -24,7 +24,7 @@ impl From<RunqueueId> for usize {
     }
 }
 
-#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord)]
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
 #[cfg_attr(feature = "defmt", derive(defmt::Format))]
 pub struct ThreadId(u8);
 
diff --git a/src/ariel-os-threads/src/lib.rs b/src/ariel-os-threads/src/lib.rs
index a131bf01f..a2ccf7582 100644
--- a/src/ariel-os-threads/src/lib.rs
+++ b/src/ariel-os-threads/src/lib.rs
@@ -470,7 +470,7 @@ impl Scheduler {
 }
 
 /// ID of a physical core.
-#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord)]
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
 #[cfg_attr(feature = "defmt", derive(defmt::Format))]
 pub struct CoreId(pub(crate) u8);