#
# chipKIT Max32 board with SD card shield
# For details, see https://github.com/RetroBSD/retrobsd/wiki/Board-chipKIT-Max32
#
# To build the kernel, use:
#   cd sys/pic32/max32
#   kconfig Config
#   make clean
#   make
#
# For details, see http://retrobsd.org/wiki/doku.php/doc/kconfig
#
machine         "pic32"

cpu             "PIC32MX7"
ident           CHIPKIT_MAX

# Linker script
ldscript        "cfg/bootloader-max32.ld"

# Need to set locally
timezone        8 dst
maxusers        1

# Standard system options
options         "CPU_KHZ=80000"             # Oscillator frequency of CPU core
options         "BUS_KHZ=80000"             # Frequency of peripheral bus
options         "HZ=100"                    # Rate of clock interrupt
options         "BUS_DIV=1"                 # Bus clock divisor 1/2/4/8
options         "EXEC_AOUT"                 # Run a.out binaries
options         "EXEC_ELF"                  # Run ELF binaries
options         "EXEC_SCRIPT"               # Run shell scripts
options         "UCB_METER"                 # Collect kernel statistics

# LED
options         "LED_KERNEL_PORT=TRISA"     # for kernel activity LED...
options         "LED_KERNEL_PIN=3"          # ...use pin RA3

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

# Serial UART ports
device          uart1                       # Serial-to-USB converter
device          uart2
device          uart3
device          uart4
options         "UART1_ENABLED"             # TODO: delete this option
options         "UART2_ENABLED"             # TODO: delete this option
options         "UART3_ENABLED"             # TODO: delete this option
options         "UART4_ENABLED"             # TODO: delete this option

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

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

# microSD card
disk            sd0     at spi2 flags 0x3e  # select pin RC14
options         "SD0_MHZ=10"                # speed 10 MHz
options         "SD0_PORT=2"                # at spi2               TODO: delete
options         "SD0_CS_PORT=TRISC"         # for chip select...    TODO: use flags
options         "SD0_CS_PIN=14"             # ...use pin RC14       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

# Skeleton driver
#device         skel0
#options        "SKEL_ENABLED"              # TODO: delete this option