From 809eb2fe3e5da57238d668b64798f5cfcffc2ab7 Mon Sep 17 00:00:00 2001
From: Bananymous <bananymousosq@gmail.com>
Date: Tue, 11 Apr 2023 23:33:20 +0300
Subject: [PATCH] Kernel: Mark Scheduler::start() as noreturn as appropriate

---
 kernel/include/kernel/Scheduler.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<void> initialize();
 		static Scheduler& get();
 
-		void start();
+		[[noreturn]] void start();
 		void reschedule();
 		void reschedule_if_idling();