#include "types.h"
#include "pxi.h"



void hardwareInit(void)
{
	PXI_init();
}