#
# 32MXSDRAM board PCB v1.0 with UART console
# ===========================================
#
# Console on UART3

core pic32mx7
linker bootloader-sdram
mapping generic

device kernel cpu_khz=80000 bus_khz=80000 led=A15
device console led=A14 device=tty2
device uart3 baud=115200
device rdisk led=C13 swap=C14

option nproc=20
option hz=1000

# sdcard's definition for the SPI port, sdcard's chipselect and high-side power switch
# because of a mod on the board we use power=B13, otherwise it shall be D12
device sd0 port=4 cs=F3 power=B13 mhz=13
# device sd1 port=4 cs=F8 power=D13

device adc
device oc
device gpio

# use SDRAM driver for the external ramdisk
device sdramp

# This defines the swap size and a fs partition size on the external ramdisk.
# When the sa@XXXX is larger than the SWAP_KBYTES, the system will use
# the swap located on the external ramdisk automatically.
# (sd@xxxx + fs@xxxx) <= ramdisk_size
option PARTITION=sdramp0:sa@2048,fs@14000
option nmount=3

# set=pin means the pin will be set high during bootloading
device bootloader button=C1 user=0x1d005000 led=C13 led2=C14
option crystal=12
option pllidiv=3
option pllmul=20
option upllidiv=3


