#define __APPIO_DEBUG

#include <p32xxxx.h>
#include <HardwareProfile.h>
#include <compiler.h>
#include <sys/appio.h>

int main() {
	//SYSTEMConfigPerformance(80e6);

	AD1PCFG = 0xFFFF;
	mJTAGPortEnable(0);

	DBINIT();
	DBPRINTF("Hello REAL-ICE!");

	while(1);
}