From f71ce9fc6225547acc96e17550572571d2bf2b75 Mon Sep 17 00:00:00 2001
From: Serge Vakulenko <serge.vakulenko@gmail.com>
Date: Thu, 23 Jul 2015 20:50:56 -0700
Subject: [PATCH] Pinguino-micro: kernel configuration updated.

---
 Makefile                                | 1 +
 sys/pic32/pinguino-micro/Makefile       | 2 +-
 sys/pic32/pinguino-micro/PINGUINO-MICRO | 4 ++--
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 4d2e2e6..836adfc 100644
--- a/Makefile
+++ b/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)
diff --git a/sys/pic32/pinguino-micro/Makefile b/sys/pic32/pinguino-micro/Makefile
index 7db5923..256d658 100644
--- a/sys/pic32/pinguino-micro/Makefile
+++ b/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
diff --git a/sys/pic32/pinguino-micro/PINGUINO-MICRO b/sys/pic32/pinguino-micro/PINGUINO-MICRO
index d188b66..6301f18 100644
--- a/sys/pic32/pinguino-micro/PINGUINO-MICRO
+++ b/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