#
# Microchip PIC32MX Ethernet/USB Starter Kit
# with I/O Expansion board and SD card pictail module
# ===================================================
# Console on USB.
#
# To build the kernel, use:
#   cd sys/pic32/explorer16
#   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           "STARTERKIT"                # Board type
ldscript        "cfg/bare.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_DISK_PORT=TRISD"       # for disk activity LED...
options         "LED_DISK_PIN=1"            # ...use pin RD1
options         "LED_KERNEL_PORT=TRISD"     # for kernel activity LED...
options         "LED_KERNEL_PIN=2"          # ...use pin RD2

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

# Console options
options         "CONSOLE_DEVICE=ttyUSB0"    # Console on USB

# Virtual UART on USB
pseudo-device   uartusb
options         "UARTUSB_ENABLED"           # TODO: delete this option
options         "USB_MAX_EP_NUMBER=3"
options         "USB_NUM_STRING_DESCRIPTORS=3"

# SPI ports
controller      spi1                        # SD card
options         "SPI_ENABLED"               # TODO: delete this option

# SD card
disk            sd0     at spi1 flags 0x21  # select pin RB1
options         "SD0_PORT=1"                # at spi1               TODO: delete
options         "SD0_CS_PORT=TRISB"         # for chip select...    TODO: use flags
options         "SD0_CS_PIN=1"              # ...use pin RB1        TODO: use flags

# General purpose I/O ports
device          gpio0
options         "GPIO_ENABLED"              # TODO: delete this option

# ADC driver
device          adc0
options         "ADC_ENABLED"               # TODO: delete this option

# PWM driver
device          pwm0
options         "PWM_ENABLED"               # TODO: delete this option