#
# Pinguino-micro board
# ====================
#
# Console on USB
# For Windows, use the driver: http://www.schmalzhaus.com/UBW32/FW/UBW32inf.zip

core pic32mx7
linker bootloader-ubw32
mapping generic

device kernel invled=D1

device console device=ttyUSB0
device uartusb

device sd0 port=2 cs=B13
device gpio
device adc

device bootloader button=E7 led=E3 user=0x1d005000

