Fix for PIC32-PINGUINO-MICRO Bootloader

[misjob]

The bootloaders for the PINGUINO-MICRO that can be downloaded from a number of places on Internet are not working.
ex:
https://github.com/PinguinoIDE/pinguino-bootloaders/tree/master/p32/usb
https://code.google.com/p/pinguino32/source/browse/#svn%2Fbranches%2Fx.3%2Fextra%2Fbootloaders%2F32bit%253Fstate%253Dclosed

The issue seems to be related to the configuration bits since I were able to get it to work if I copied the configuration bit data from the MPIDE hex file "MX4-Bootloader_Olimex_PIC32_Pinguino.hex" in:
https://www.olimex.com/Products/Duino/PIC32/PIC32-PINGUINO-MICRO/resources/MPIDE_library_PIC32-Pinguino-Micro.zip

It is not really a good idea so it would be nice if someone could look into that.

Here is the working config
:020000040000fa
:020000041fc01b
:042ff400d979f8ff90
:020000040000fa
:020000041fc01b
:042ff8005b0a6aff07
:020000040000fa
:020000041fc01b
:042ffc00ffffff7f55

[JohnS]

"not working" - when don't it/they work (for you)?

I have the equivalent board and works fine.  No "fix" required!

John

[misjob]

My board lost the bootloader when I was testing UECIDE so I tried to restore it using a PICkit 2 and the ICSP adapter.
Programming and verifying the PIC32 worked fine but the board was dead. No blinking LEDs and no USB device detected by Windows.

[JohnS]

Weird.  Mine does not need the values you give and works fine.  I just read back its DEVCFG words to check.

I suggest others reading this thread be very cautious what they do!

John

[misjob]

Strange indeed. The problem is unfortunately very repeatable on my board.

I will have to build it from source and see what's going on.

[JohnS]

The bootloader from Olimex has been said to work.  Did you try it?

It's the one named PINGUINO_BOOT+DEMO.hex (may be .zip)

John