/*
 * sysinfo.c
 *
 * Provides information about system, and useful utilities
 *
 *  Created on: Aug 17, 2011
 *      Author: Tiberiu
 */

#include <stdio.h>
#include <debugio.h>
#include "keyboard/keyboard.h"

void SystemReboot()
{
	Log("Rebooting system...\n");

	KeyboardWaitOutport();
	outportb (0x64, 0xFE);

	asm("cli");
	asm("hlt");
}