diff --git a/README.md b/README.md
index 83985ee..fde5579 100644
--- a/README.md
+++ b/README.md
@@ -15,14 +15,18 @@
 
 ## Supported hardware
 
- * chipKIT Max32 board.
- * Sparkfun UBW32 board.
+ * Fubarino SD board.
+ * Olimex Duinomite, Duinomite-Mini, Duinomite-Mega and Duinomite-eMega boards.
+ * Olimex Pinguino-Micro board with PIC32MX795F512H microcontroller.
  * Maximite and Colour Maximite computers.
+ * Majenko SDXL board.
+ * 4D Systems Picadillo-35T board.
+ * MikroElektronika MultiMedia Board for PIC32MX7.
+ * chipKIT Max32 board with SD card shield.
+ * chipKIT WF32 board with 2.4" LCD TFT display shield.
+ * Sparkfun UBW32 board with SD card slot.
  * Microchip Explorer 16 board, with PIC32 CAN-USB plug-in module and SD & MMC pictail.
  * Microchip PIC32 USB or Ethernet Starter Kit, with I/O Expansion board and SD & MMC pictail.
- * Olimex Duinomite, Duinomite-Mini and Duinomite-Mega boards.
- * Olimex Pinguino-Micro board with PIC32MX795F512H microcontroller.
- * eflightworks DIP board.
 
 
 ## Build
@@ -35,34 +39,11 @@ Under Ubuntu, for example, you can do it by command:
 $ sudo apt-get install bison byacc flex groff-base libelf-dev libfuse-dev
 ```
 
-By default, the system is configured for the Max32 board.
-To select another target board, edit a top-level user-specific Makefile called "Makefile.user"
-and set a TARGET value:
-
+You can change a desired filesystem size and swap area size, as required.
+Default is:
 ```Makefile
-TARGET = $(MAX32)          # for the chipKIT Max32 board with SD card shield (default)
-TARGET = $(FUBARINO)       # Fubarino SD board
-TARGET = $(FUBARINOBIG)    # Fubarino SD board with 8MB SRAM RAMDISK
-TARGET = $(MAXIMITE)       # for the Maximite board
-TARGET = $(MAXCOLOR)       # for the Colour Maximite board
-TARGET = $(DUINOMITE)      # for the Duinomite board with USB console
-TARGET = $(DUINOMITEUART)  # for the Duinomite board with UART console
-TARGET = $(DUINOMITEE)     # for the Duinomite E board with USB console
-TARGET = $(DUINOMITEEUART) # for the Duinomite E board with UART console
-TARGET = $(MMBMX7)         # MMB MX7 board
-TARGET = $(UBW32)          # for the UBW32 board with USB console
-TARGET = $(UBW32UART)      # for the UBW32 board with UART console
-TARGET = $(UBW32UARTSDRAM) # for the UBW32 boars with UART console and 8MB SRAM ramdisk
-TARGET = $(EXPLORER16)     # for the Explorer 16 board
-TARGET = $(STARTERKIT)     # for the PIC32 USB or Ethernet Starter Kit
-TARGET = $(BAREMETAL)      # Bare PIC32 chip on a breakout board
-```
-
-You can also change a desired filesystem size and swap area size,
-as required.  Default is:
-```Makefile
-FS_KBYTES   = 16384
-SWAP_KBYTES = 2048
+FS_MBYTES   = 100
+SWAP_MBYTES = 2
 ```
 To compile the kernel and build a filesystem image, run:
 
diff --git a/tools/kconfig/max32/Config b/tools/kconfig/max32/Config
deleted file mode 100644
index 7a8656d..0000000
--- a/tools/kconfig/max32/Config
+++ /dev/null
@@ -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