Files
retrobsd/tools/kconfig/max32/Config
2015-06-02 00:16:15 -07:00

75 lines
2.3 KiB
Plaintext

#
# chipKIT Max32 board
#
# To build the kernel, use:
# cd sys/pic32/max32
# kconfig MAX32
# make clean depend
# make depend
# 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 "HZ=100" # Frequency of clock interrupt
# Root filesystem at /dev/sd0a, swap at /dev/sd0b
config unix root on sd0a
swap on sd0b
dumps on sd0b
# UART ports
device uart1 flags 0x614f # pins rx=RD14, tx=RD15 - logical 39/40
device uart4 flags 0x6268 # pins rx=RF2, tx=RF8 - serial-to-USB converter
# Use UART4 as console
options "CONS_MAJOR=17" # UART device
options "CONS_MINOR=3" # UART4 - chipKIT WiFire board
# SPI ports
controller spi2 flags 0x2a34 # pins sdi=RB10, sdo=RC4 - SD card
# microSD card
disk sd0 at spi2 drive 0 flags 0x33 # select pin RC3
options "SD_LED=0x7f" # LED4 is G15
# General purpose I/O ports
# Flags define a mask of available pins
# The following pins excluded:
# D14, D15 - uart1
# F2, F8 - uart4
# C1, D1, F1, - spi1
# D11, F0, G6 - spi2, LED1
# B10, B14, C3, C4 - spi3, SD card
# A15, D9, D10, F4, F5, G0, G1 - spi4, Wi-Fi
# B12 - 1/11 of input voltage
# B13 - potentiometer
#device gpio0 flags 0x46ff # port A
#device gpio1 flags 0x8bff # port B
#device gpio2 flags 0xf004 # port C
#device gpio3 flags 0x303d # port D
#device gpio4 flags 0x03ff # port E
#device gpio5 flags 0x3008 # port F
#device gpio6 flags 0xf380 # port G
#device adc
#device pwm
#device skel
# Buttons
options "BUTTON1=0x15" # button 1 at pin RA5
options "BUTTON2=0x14" # button 2 at pin RA4
#pseudo-device pty 4 # pseudo ptys