# # 4D Systems Picadillo-35T board # ============================== # Console on USB UART port. # For details, see http://www.4dsystems.com.au/product/Picadillo_35T/ # # To build the kernel, use: # cd sys/pic32/picadillo # 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 "PICADILLO_35T" # Board type ldscript "cfg/bootloader-max32.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 # Root filesystem at /dev/sd0a, swap at /dev/sd0b config unix root on sd0a swap on sd0b # Serial UART ports device uart1 # Serial-to-USB converter options "UART1_ENABLED" # TODO: delete this option # Console options options "CONSOLE_DEVICE=tty0" # /dev/tty0 # SPI ports controller spi2 # SD card options "SPI_ENABLED" # TODO: delete this option # microSD card disk sd0 at spi2 flags 0x79 # select pin RG9 options "SD0_MHZ=10" # speed 10 MHz options "SD0_PORT=2" # at spi2 TODO: delete options "SD0_CS_PORT=TRISG" # for chip select... TODO: use flags options "SD0_CS_PIN=9" # ...use pin RG9 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 # HX8357 TFT display driver device hxtft0 options "HX8357_ENABLED" # TODO: delete this option