#
# chipKIT WF32 board with microSD card on 2.4" LCD TFT display shield
#
# See http://misc.ws/2013/11/08/touch-screen-shield-for-arduino-uno/
# for shield information
#
core pic32mx7
linker bootloader-max32
mapping wf32
device kernel led=LD4 cpu_khz=80000 bus_khz=80000

device console device=tty0 led=LD3
device uart1 baud=115200
#device uart2 baud=115200
#device uart3 baud=115200
#device uart4 baud=115200

device rdisk led=LD5
device sd0 port=2 cs=10

device gpio
device adc

device foreignbootloader
