#
# chipKIT WF32 board with microSD card on 2.4" LCD TFT display shield
#
# To build the kernel, use:
#   cd sys/pic32/wf32
#   kconfig Config
#   make clean
#   make
#
# Format of this file is described on page:
# http://retrobsd.org/wiki/doku.php/doc/kconfig
#
architecture    "pic32"
cpu             "PIC32MX7"                  # Processor variant
board           "WF32"                      # Board type
ldscript        "max32/bootloader.ld"       # Linker script

# Standard system options
options         "CPU_KHZ=80000"             # Oscillator frequency of CPU core
options         "BUS_KHZ=80000"             # Frequency of peripheral bus
options         "BUS_DIV=1"                 # Bus clock divisor 1/2/4/8

# LED
options         "LED_KERNEL_PORT=TRISA"     # for kernel activity LED...
options         "LED_KERNEL_PIN=0"          # ...use pin RA3
options         "LED_DISK_PORT=TRISF"       # for disk activity LED...
options         "LED_DISK_PIN=0"            # ...use pin RF0
options         "LED_TTY_PORT=TRISA"        # for serial activity LED...
options         "LED_TTY_PIN=1"             # ...use pin RA1

# Root filesystem at /dev/sd0a, swap at /dev/sd0b
config          unix    root on sd0a
                        swap on sd0b

# Serial UART ports
device          uart1                       # Serial-to-USB converter

# Console options
options         "CONSOLE_DEVICE=tty0"       # /dev/tty0

# SPI ports
controller      spi2                        # SD card

# microSD card
device          sd0     at spi2 pin RD4     # select pin RD4
options         "SD0_MHZ=10"                # speed 10 MHz
options         "SD0_PORT=2"                # at spi2               TODO: delete
options         "SD0_CS_PORT=TRISD"         # for chip select...    TODO: delete
options         "SD0_CS_PIN=4"              # ...use pin RD4        TODO: delete

# General purpose I/O ports
device          gpio

# ADC driver
device          adc

# PWM driver
device          pwm