#
# Maximite board
# ==============
#
# Console on USB
# For Windows, use the driver:
# http://geoffg.net/Downloads/BoatComputer/Silicon_Chip_USB_Serial_Port_Driver.zip

core pic32mx7
mapping generic
linker bootloader-maximite

device kernel invled=F0

device console device=ttyUSB0
device uartusb

device rdisk led=E1
device sd0 port=4 cs=E0

device gpio

device bootloader button=C13 user=0x1d003000 led=E1 clear=F0
