1 2 3 4 5 6 7 8 9
#include <arch/io.h> #include <reset.h> void hard_reset(void) { /* Try rebooting through port 0xcf9 */ // Hard reset without power cycle outb((0 <<3)|(1<<2)|(1<<1), 0xcf9); }