Pinguino-micro: kernel configuration updated.

Makefile

@@ -31,6 +31,7 @@ EXPLORER16      = sys/pic32/explorer16/EXPLORER16
 STARTERKIT      = sys/pic32/starter-kit/STARTER-KIT
 BAREMETAL       = sys/pic32/baremetal/BAREMETAL
 RETROONE        = sys/pic32/retroone/RETROONE
+PINGUINO-MICRO  = sys/pic32/pinguino-micro/PINGUINO-MICRO
 
 # Select target board
 TARGET          ?= $(MAX32)

sys/pic32/pinguino-micro/Makefile

@@ -36,7 +36,7 @@ DEFS += -DUSB_MAX_EP_NUMBER=3
 DEFS += -DUSB_NUM_STRING_DESCRIPTORS=3
 
 
-LDSCRIPT = ../../../tools/configsys/../../sys/pic32/cfg/bootloader-ubw32.ld
+LDSCRIPT = ../../../tools/configsys/../../sys/pic32/cfg/bootloader-maximite.ld
 
 CONFIG = PINGUINO-MICRO
 CONFIGPATH = ../../../tools/configsys

sys/pic32/pinguino-micro/PINGUINO-MICRO

@@ -6,7 +6,7 @@
 # For Windows, use the driver: http://www.schmalzhaus.com/UBW32/FW/UBW32inf.zip
 
 core pic32mx7
-linker bootloader-ubw32
+linker bootloader-maximite
 mapping generic
 
 device kernel invled=D1
@@ -17,5 +17,5 @@ device uartusb
 device sd0 port=2 cs=B13
 device gpio
 device adc
-
+device foreignbootloader
 #device bootloader button=E7 led=E3 user=0x1d005000