Serge Vakulenko 0b31486402 Added loadmax target to kernel Makefile. ...

Use "make loadmax" in sys/pic32/max32 directory to upload the kernel image
to chipKIT Max32 board.

2014-05-21 12:26:24 -07:00

..

include

Fixed bug in stracesecmp left from a previous patch.

2014-05-07 22:33:45 -07:00

kernel

Merge branch 'master' into codesourcery.

2014-05-06 19:55:35 -07:00

pic32

Added loadmax target to kernel Makefile.

2014-05-21 12:26:24 -07:00