47 lines
1.4 KiB
Plaintext
47 lines
1.4 KiB
Plaintext
#
|
|
# Custom board with UART console
|
|
# ==============================
|
|
# Console on UART1.
|
|
#
|
|
# To build the kernel, use:
|
|
# cd sys/pic32/baremetal
|
|
# 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 "BAREMETAL" # Board type
|
|
ldscript "baremetal/script.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
|
|
|
|
# LEDs
|
|
signal "LED_KERNEL" pin RD3 # kernel activity indicator
|
|
signal "LED_DISK" pin RD2 # disk activity indicator
|
|
signal "LED_TTY" pin RD12 # tty activity indicator
|
|
|
|
# Root filesystem at /dev/sd0a, swap at /dev/sd0b
|
|
config unix root on sd0a
|
|
swap on sd0b
|
|
|
|
# Serial UART ports
|
|
device uart1
|
|
|
|
# Console options
|
|
options "CONS_MAJOR=UART_MAJOR" # UART device
|
|
options "CONS_MINOR=0" # /dev/tty0
|
|
|
|
# SPI ports
|
|
controller spi2 # SD card
|
|
|
|
# SD card
|
|
device sd0 at spi2 pin RD1 # select pin
|
|
options "SD_MHZ=16" # speed 16 MHz
|