src/kernel --> src/

src/userland/sys/reboot.c

@@ -0,0 +1,12 @@
+// Copyright (c) 2023-2026 Chris (boreddevnl)
+// This software is released under the GNU General Public License v3.0. See LICENSE file for details.
+// This header needs to maintain in any file it is present in, as per the GPL license terms.
+#include <stdlib.h>
+#include <syscall.h>
+
+int main(int argc, char **argv) {
+    (void)argc; (void)argv;
+    printf("Rebooting...\n");
+    sys_system(12, 0, 0, 0, 0); // SYSTEM_CMD_REBOOT
+    return 0;
+}