#include "types.h" #include "pxi.h" void hardwareInit(void) { PXI_init(); } /*void hardwareDeinit(void) { }*/