93 lines
3.5 KiB
Plaintext
93 lines
3.5 KiB
Plaintext
#
|
|
# chipKIT Max32 board
|
|
#
|
|
# To build the kernel, use:
|
|
# cd sys/pic32/max32
|
|
# kconfig Config
|
|
# make clean
|
|
# make
|
|
#
|
|
machine "pic32"
|
|
|
|
cpu "PIC32MX"
|
|
ident CHIPKIT_MAX
|
|
|
|
# Linker script
|
|
ldscript "pic32/bootloader-max32.ld"
|
|
|
|
# Need to set locally
|
|
timezone 8 dst
|
|
maxusers 2
|
|
|
|
# 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 "CRYSTAL=8" # PLL input frequency in MHz
|
|
#???options "CPU_IDIV=2" # PLL input divisor 1/2/3/4/5/6/10/12
|
|
#???options "CPU_ODIV=1" # PLL output divisor 1/2/4/8/16/32/64/256
|
|
#???options "CPU_MUL=20" # PLL multiplier 15/16/17/18/19/20/21/24
|
|
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
|
|
|
|
# LEDs
|
|
#options "LED_DISK_PORT=TRISF" # for disk activity LED...
|
|
#options "LED_DISK_PIN=0" # ...use pin RF0
|
|
#options "LED_DISK_INVERT" # invert disk LED
|
|
#options "LED_SWAP_PORT=TRISF" # for swap activity LED...
|
|
#options "LED_SWAP_PIN=1" # ...use pin RF1
|
|
#options "LED_SWAP_INVERT" # invert swap LED
|
|
#options "LED_TTY_PORT=TRISA" # for tty LED...
|
|
#options "LED_TTY_PIN=2" # ...use pin RA2
|
|
#options "LED_TTY_INVERT" # invert tty LED
|
|
#options "LED_KERNEL_PORT=TRISA" # for kernel actibity LED...
|
|
#options "LED_KERNEL_PIN=3" # ...use pin RA3
|
|
#options "LED_KERNEL_INVERT" # invert kernel LED
|
|
|
|
# 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 "UART_ENABLED" # TODO: delete this option
|
|
|
|
# Console options
|
|
options "CONSOLE_DEVICE=tty0" # /dev/tty0
|
|
#TODO: options "CONS_MAJOR=17" # use UART device as console
|
|
#TODO: options "CONS_MINOR=0" # use uart1 unit as console
|
|
|
|
# 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
|