CeDOS - shell/reboot.c

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();
}