From 45fcc12bbef511d8142cfd9a0b0f2a07edb3b8ea Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Sun, 19 Sep 2021 21:07:57 +0200
Subject: mark run_init as _Noreturn

---
 src/kernel/main.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/kernel/main.c b/src/kernel/main.c
index 07162b5..e96de1c 100644
--- a/src/kernel/main.c
+++ b/src/kernel/main.c
@@ -7,7 +7,7 @@
 #include <kernel/util.h>
 #include <stdint.h>
 
-static void run_init(struct kmain_info *info) {
+_Noreturn static void run_init(struct kmain_info *info) {
 	struct process *proc = process_seed();
 	void __user *init_base = (userptr_t)0x200000;
 
@@ -30,6 +30,4 @@ void kmain(struct kmain_info info) {
 
 	tty_const("loading init...");
 	run_init(&info);
-
-	panic();
 }
-- 
cgit v1.2.3