From 9f6a53122ad71b28c3d53fa2bcc61b60757cb9d1 Mon Sep 17 00:00:00 2001
From: Serge Vakulenko <serge.vakulenko@gmail.com>
Date: Thu, 3 Sep 2015 11:44:03 -0700
Subject: [PATCH] Cleanup in kconfig files.

---
 sys/pic32/Config.generic | 2 ++
 sys/pic32/max32/Config   | 5 ++---
 sys/pic32/max32/Makefile | 2 +-
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/sys/pic32/Config.generic b/sys/pic32/Config.generic
index bb6b9d3..7ac93f5 100644
--- a/sys/pic32/Config.generic
+++ b/sys/pic32/Config.generic
@@ -7,6 +7,8 @@
 # It's intended to be used as a reference or as a starting point
 # when creating configuration for a new board.
 #
+# For details, see http://retrobsd.org/wiki/doku.php/doc/kconfig
+#
 machine         "pic32"
 
 cpu             "PIC32MX7"
diff --git a/sys/pic32/max32/Config b/sys/pic32/max32/Config
index ca10fdd..7d69ce6 100644
--- a/sys/pic32/max32/Config
+++ b/sys/pic32/max32/Config
@@ -7,6 +7,8 @@
 #   make clean
 #   make
 #
+# For details, see http://retrobsd.org/wiki/doku.php/doc/kconfig
+#
 machine         "pic32"
 
 cpu             "PIC32MX7"
@@ -20,7 +22,6 @@ timezone        8 dst
 maxusers        1
 
 # Standard system options
-#options         "CONFIG=MAX32"              # TODO
 options         "CPU_KHZ=80000"             # Oscillator frequency of CPU core
 options         "BUS_KHZ=80000"             # Frequency of peripheral bus
 options         "HZ=100"                    # Rate of clock interrupt
@@ -51,8 +52,6 @@ options         "UART4_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
diff --git a/sys/pic32/max32/Makefile b/sys/pic32/max32/Makefile
index 7a850ed..8fcbcc8 100644
--- a/sys/pic32/max32/Makefile
+++ b/sys/pic32/max32/Makefile
@@ -1,4 +1,4 @@
-IDENT=-DCHIPKIT_MAX -DPIC32MX7 -DPWM_ENABLED -DADC_ENABLED -DGPIO_ENABLED -DSD0_CS_PIN=14 -DSD0_CS_PORT=TRISC -DSD0_PORT=2 -DSD0_MHZ=10 -DSPI_ENABLED -DCONSOLE_DEVICE=tty0 -DUART4_ENABLED -DUART3_ENABLED -DUART2_ENABLED -DUART1_ENABLED -DLED_KERNEL_PIN=3 -DLED_KERNEL_PORT=TRISA -DUCB_METER -DEXEC_SCRIPT -DEXEC_ELF -DEXEC_AOUT -DBUS_DIV=1 -DHZ=100 -DBUS_KHZ=80000 -DCPU_KHZ=80000
+IDENT=-DCHIPKIT_MAX -DPIC32MX7 -DPWM_ENABLED -DADC_ENABLED -DGPIO_ENABLED -DSD0_CS_PIN=4 -DSD0_CS_PORT=TRISD -DSD0_PORT=2 -DSD0_MHZ=10 -DSPI_ENABLED -DCONSOLE_DEVICE=tty0 -DUART4_ENABLED -DUART3_ENABLED -DUART2_ENABLED -DUART1_ENABLED -DLED_KERNEL_PIN=3 -DLED_KERNEL_PORT=TRISA -DUCB_METER -DEXEC_SCRIPT -DEXEC_ELF -DEXEC_AOUT -DBUS_DIV=1 -DHZ=100 -DBUS_KHZ=80000 -DCPU_KHZ=80000
 LDSCRIPT="cfg/bootloader-max32.ld"
 PARAM=-DTIMEZONE=480 -DDST=1 -DMAXUSERS=1
 #