#include <stdio.h>
#include <ogcsys.h>

#include "nand.h"
#include "sys.h"
#include "wpad.h"
//#include "video.h"


void Restart(void)
{
	printf("\n    Beende den WAD-Manager...");
	fflush(stdout);

	/* Disable NAND emulator */
	Nand_Disable();

	/* Load system menu */
	Sys_LoadMenu();
}

void Restart_Wait(void)
{
	printf("\n    Dr%ccke eine Taste f%cr den Neustart...",129,129);
	fflush(stdout);

	/* Wait for button */
	Wpad_WaitButtons();

	/* Restart */
	Restart();
}