#
# 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-maxcolor

device kernel invled=E0

device console device=ttyUSB0
device uartusb

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

device gpio

device bootloader button=C13 user=0x1d005000 led=E1
