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

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


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

	/* Disable NAND emulator */
	Nand_Disable();

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

void Restart_Wait(void)
{
	printf("\n    Press any key to restart...");
	fflush(stdout);

	/* Wait for button */
	Wpad_WaitButtons();

	/* Restart */
	Restart();
}