From 63fd7ce362c7f1d59365045f19cf1ca87ffe2db9 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Mon, 15 Aug 2022 23:03:18 +0200
Subject: kernel: combine kmain_early and kmain

---
 src/kernel/arch/generic.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/kernel/arch/generic.h')

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
index 0b7b2f2..b213962 100644
--- a/src/kernel/arch/generic.h
+++ b/src/kernel/arch/generic.h
@@ -20,6 +20,8 @@ __attribute__((noreturn))
 void cpu_halt(void);
 __attribute__((noreturn))
 void cpu_shutdown(void);
+__attribute__((noreturn))
+void shutdown(void);
 
 /** on x86: waits for an IRQ */
 void cpu_pause(void);
-- 
cgit v1.2.3