Parece ser que si, acabo de ver la guia:
http://ww1.microchip.com/downloads/en/DeviceDoc/51686E.pdfviene este ejemplo (entre otros):
/* main.cpp */
#include <xc.h> // __XC_UART
#include <plib.h> // SYSTEMConfigPerformance()
#include <iostream>
using namespace std;
// Device-Specific Configuration-bit settings
#pragma config FPLLMUL=MUL_20, FPLLIDIV=DIV_2, FPLLODIV=DIV_1,
FWDTEN=OFF
#pragma config POSCMOD=HS, FNOSC=PRIPLL, FPBDIV=DIV_8
// add() must have C linkage
extern "C" {
extern unsigned int add(unsigned int a, unsigned int b);
}
int main(void) {
int myvalue = 6;
// Configure the target for max performance at 80 MHz.
SYSTEMConfigPerformance (80000000UL);
// Direct stdout to UART 1 for use with the simulator
__XC_UART = 1;
std::cout << "original value: " << myvalue << endl;
myvalue = add (myvalue, 3);
std::cout << "new value: " << myvalue << endl;
while(1);
}