permit shutting down and rebooting without kernel linking

Author: mazunki

src/kernel/kernel.cpp

@@ -85,16 +85,6 @@ void os::register_plugin(Plugin delg, const char* name){
   plugins.emplace_back(delg, name);
 }
 
-extern void __arch_reboot();
-void os::reboot() noexcept
-{
-  __arch_reboot();
-}
-void os::shutdown() noexcept
-{
-  kernel::state().running = false;
-}
-
 void kernel::post_start()
 {
   // Enable timestamps (if present)

src/kernel/os.cpp

@@ -16,6 +16,7 @@
 
 #include <os.hpp>
 #include <kernel.hpp>
+#include <arch.hpp>
 
 bool os::is_booted() noexcept {
   return kernel::is_booted();
@@ -24,6 +25,16 @@ const char* os::arch() noexcept {
   return Arch::name;
 }
 
+void os::reboot() noexcept
+{
+  __arch_reboot();
+}
+
+void os::shutdown() noexcept
+{
+  kernel::state().running = false;
+}
+
 os::Panic_action os::panic_action() noexcept {
   return kernel::panic_action();
 }

test/misc/lest_util/os_mock.cpp

@@ -89,7 +89,6 @@ void kprint(const char* str)
 //void os::default_stdout(const char*, size_t) {}
 void os::event_loop() {}
 void os::halt() noexcept {}
-void os::reboot() noexcept {}
 
 void __x86_init_paging(void*){};
 namespace x86 {