From 0b3148640240af52e21f915ebfb1d62f7f04f13c Mon Sep 17 00:00:00 2001
From: Serge Vakulenko <serge@vak.ru>
Date: Wed, 21 May 2014 12:26:24 -0700
Subject: [PATCH] Added loadmax target to kernel Makefile. Use "make loadmax"
 in sys/pic32/max32 directory to upload the kernel image to chipKIT Max32
 board.

---
 sys/pic32/kernel-post.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sys/pic32/kernel-post.mk b/sys/pic32/kernel-post.mk
index 5f161c8..8628c0d 100644
--- a/sys/pic32/kernel-post.mk
+++ b/sys/pic32/kernel-post.mk
@@ -67,6 +67,9 @@ bl_devcfg.o:    $(BUILDPATH)/devcfg.c
 load:           unix.hex
 		pic32prog $(BLREBOOT) unix.hex
 
+loadmax:        unix.hex
+		$(PROGTOOL) -U flash:w:unix.hex:i
+
 loadboot:       bootloader.hex
 		pic32prog $(BLREBOOT) bootloader.hex