core pic32mx7 
mapping generic
linker bare

device kernel led=D3 cpu_khz=80000 bus_khz=80000
device rdisk led=D2
device uart1 baud=115200
device console led=D12 device=tty0

device sd0 port=2 mhz=16 cs=D1

device devcfg

