diff --git a/kernel/include/kernel/Scheduler.h b/kernel/include/kernel/Scheduler.h index adb24856b..a55dec9ae 100644 --- a/kernel/include/kernel/Scheduler.h +++ b/kernel/include/kernel/Scheduler.h @@ -13,7 +13,7 @@ namespace Kernel static BAN::ErrorOr initialize(); static Scheduler& get(); - void start(); + [[noreturn]] void start(); void reschedule(); void reschedule_if_idling();