shell/reboot.c (view raw)
1 2 3 4 5 6 7 8 9 10 11 12
#include "cedos.h" #include "stdio.h" #include <stdint.h> void main(char *args) { (void)args; printf("Thank you for using CeDOS!\n"); hard_reset(); }