void setup() {       
	/* Otra configuración del sistema*/
	NVIC_DisableIRQ(PIOB_IRQn);
	NVIC_ClearPendingIRQ(PIOB_IRQn);
	NVIC_SetPriority(PIOB_IRQn, 0);
	PIOsetupInt(EDGE, 1);
	NVIC_EnableIRQ(PIOB_IRQn);
}

// RTI en C
void PIOB_Handler() {
	/* Código específico del tratamiento */
}