Top level readme updated.

tools/kconfig/max32/Config

@@ -1,74 +0,0 @@
-#
-# 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