Files
retrobsd/sys/pic32/sdxl/Config
2015-09-14 22:07:16 -07:00

71 lines
2.1 KiB
Plaintext

#
# Majenko SDXL board
# ==================
# Ardiuno-compatible bootloader.
# Console on USB.
# LED at pin E7 (label 23).
#
# To build the kernel, use:
# cd sys/pic32/sdxl
# 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 "SDXL" # 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=TRISE" # for kernel activity LED...
options "LED_KERNEL_PIN=7" # ...use pin RE7
# 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
device uartusb
options "USB_MAX_EP_NUMBER=3"
options "USB_NUM_STRING_DESCRIPTORS=3"
# SPI ports
controller spi2 # SD card
# microSD card
device sd0 at spi2 pin RG9 # select pin
options "SD0_PORT=2" # sd0 at spi2 TODO: delete
options "SD0_CS_PORT=TRISG" # for chip select... TODO: delete
options "SD0_CS_PIN=9" # ...use pin RA9 TODO: delete
# General purpose I/O ports
# Flags define a mask of available pins
# The following pins excluded:
# RG6, RG7, RG8, RG9 - spi2, SD card
device gpio1 flags 0xffff # port B
device gpio2 flags 0xf000 # port C
device gpio3 flags 0x0fff # port D
device gpio4 flags 0x00ff # port E
device gpio5 flags 0x003b # port F
device gpio6 flags 0x000c # port G
# ADC driver
device adc
# PWM driver
device pwm
# GLCD driver
device glcd