#
# Max32 board with Arduino Ethernet shield
# ========================================
#
# Console on UART1
# SD/MMC card driver on SPI2

core pic32mx7
mapping max32
linker bootloader-max32

device kernel led=LED cpu_khz=80000 bus_khz=80000

device console device=tty0
device uart1 baud=115200
device uart2 baud=115200
device uart3 baud=115200
device uart4 baud=115200

device sd0 port=2 cs=4 mhz=10
device gpio
device spi
device adc
device pwm
#device skel

device foreignbootloader