diff --git a/sdk/include/FreeRTOS-Compat/task.h b/sdk/include/FreeRTOS-Compat/task.h
index 398ff58..7c8c958 100644
--- a/sdk/include/FreeRTOS-Compat/task.h
+++ b/sdk/include/FreeRTOS-Compat/task.h
@@ -55,7 +55,11 @@
 static inline void vTaskDelay(const TickType_t xTicksToDelay)
 {
 	struct Timeout timeout = {0, xTicksToDelay};
-	thread_sleep(&timeout, ThreadSleepNoEarlyWake);
+	/*
+	 * The FreeRTOS API does not have a way to signal failure of sleep, so we
+	 * override the nodiscard annotation on thread_sleep.
+	 */
+	(void)thread_sleep(&timeout, ThreadSleepNoEarlyWake);
 }
 
 /**