Title: PIC32 Family Reference Manual, Sect. 07 Resets (update from F)