Files
retrobsd/sys/pic32/fubarino/Config
2015-09-08 14:25:59 -07:00

62 lines
1.8 KiB
Plaintext

#
# Fubarino SD board
# ==================================
# Console on USB.
# For details, see https://github.com/RetroBSD/retrobsd/wiki/Board-Fubarino-SD
#
# To build the kernel, use:
# cd sys/pic32/fubarino
# 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 "FUBARINO" # 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=5" # ...use pin RE5
# 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 "USB_MAX_EP_NUMBER=3"
options "USB_NUM_STRING_DESCRIPTORS=3"
# SPI ports
controller spi2 # SD card
# microSD card
disk sd0 at spi2 flags 0x79 # select pin RG9
options "SD0_PORT=2" # sd0 at spi2 TODO: delete
options "SD0_CS_PORT=TRISG" # for chip select... TODO: use flags
options "SD0_CS_PIN=9" # ...use pin RA9 TODO: use flags
# General purpose I/O ports
device gpio0
# ADC driver
device adc0
# PWM driver
device pwm0
# GLCD driver
device glcd0