#include <windows.h>
#include "PkFuncs.h"


int _tmain(int argc, _TCHAR* argv[])
{
	//riavvia il device
	KernelIoControl(IOCTL_HAL_REBOOT,NULL,0,NULL,0,NULL);

  // messaggio di errore che sarà mostrato solo se il restart fallisce
	_tprintf(TEXT("Unable to reboot device!\r\n"));
	return 0;
}