Antes que nada, gracias por tu respuesta. No estoy empleando el Debbuger de Microchip. Se trata de un programa muy sencillo en el cual comando algunas salidas conectadas al PORT-A, con una serie de pulsadores conectados al PORT-B del PIC. El problema es que tengo todos los pines del PORT-B configurados como entradas, pero pese a no tener todavía nada programado con los RB6 y RB7, al pulsarlos, el microcontrolador pareciera quedar bloqueado. Como dato extra, estoy usando un pull-up externo en el PORT-B.