#
# Picadillo 35T board
# ===================
#
# Console on UART1
# SD/MMC card driver on SPI2

core pic32mx7
mapping picadillo
linker bootloader-max32

device kernel cpu_khz=80000 bus_khz=80000

device console device=tty0
device uart1 baud=115200

device rdisk
device sd0 port=2 cs=48

device gpio
device pwm
device spi
device adc
device hxtft

device foreignbootloader
