Kernel: Mark Scheduler::start() as noreturn as appropriate

2023-04-11 23:33:20 +03:00
parent 6f7045ead2
commit 5810a77cbf
1 changed files with 1 additions and 1 deletions
--- a/kernel/include/kernel/Scheduler.h
+++ b/kernel/include/kernel/Scheduler.h
@@ -13,7 +13,7 @@ namespace Kernel
 		static BAN::ErrorOr<void> initialize();
 		static Scheduler& get();

-		void start();
+		[[noreturn]] void start();
 		void reschedule();
 		void reschedule_if_idling();