diff --git a/kernel/sched.c b/kernel/sched.c index 88e8f227961d2c..e722b7a24ef797 100644 --- a/kernel/sched.c +++ b/kernel/sched.c @@ -961,8 +961,6 @@ s32_t z_impl_k_sleep(int ms) { s32_t ticks; - __ASSERT(ms != K_FOREVER, ""); - ticks = z_ms_to_ticks(ms); ticks = z_tick_sleep(ticks); return __ticks_to_ms(ticks); @@ -971,12 +969,6 @@ s32_t z_impl_k_sleep(int ms) #ifdef CONFIG_USERSPACE Z_SYSCALL_HANDLER(k_sleep, ms) { - /* FIXME there were some discussions recently on whether we should - * relax this, thread would be unscheduled until k_wakeup issued - */ - Z_OOPS(Z_SYSCALL_VERIFY_MSG(ms != K_FOREVER, - "sleeping forever not allowed")); - return z_impl_k_sleep(ms); } #endif