diff --git a/cc3200/Makefile b/cc3200/Makefile
index 29318d44ec4a98135fe60a3dd9fe93b318b11d5c..d86b98326875644423ef36398eb2ecea8ca2a720 100644
--- a/cc3200/Makefile
+++ b/cc3200/Makefile
@@ -1,10 +1,11 @@
 # Select the board to build for: if not given on the command line,
-# then default to LAUNCHXL
-BOARD ?= LAUNCHXL
+# then default to WIPY
+BOARD ?= WIPY
 ifeq ($(wildcard boards/$(BOARD)/.),)
 $(error Invalid BOARD specified)
 endif
 
+# Make 'release' the default build type
 BTYPE ?= release
 
 # If the build directory is not given, make it reflect the board name.
diff --git a/cc3200/boards/WIPY-SD/mpconfigboard.h b/cc3200/boards/WIPY-SD/mpconfigboard.h
deleted file mode 100644
index dc05c2829a8d2d0399e612b4550d4a03c5fe5a7a..0000000000000000000000000000000000000000
--- a/cc3200/boards/WIPY-SD/mpconfigboard.h
+++ /dev/null
@@ -1,47 +0,0 @@
-/*
- * This file is part of the Micro Python project, http://micropython.org/
- *
- * The MIT License (MIT)
- *
- * Copyright (c) 2013, 2014 Damien P. George
- * Copyright (c) 2015 Daniel Campora
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
- * THE SOFTWARE.
- */
-
-#define WIPY_SD
-
-#define MICROPY_HW_BOARD_NAME                       "WiPy-SD"
-#define MICROPY_HW_MCU_NAME                         "CC3200"
-
-#define MICROPY_HW_HAS_SDCARD                       (1)
-#define MICROPY_HW_ENABLE_RNG                       (1)
-#define MICROPY_HW_ENABLE_RTC                       (1)
-
-#define MICROPY_SYS_LED_PRCM                        PRCM_GPIOA3
-#define MICROPY_SAFE_BOOT_PRCM                      PRCM_GPIOA3
-#define MICROPY_SYS_LED_PORT                        GPIOA3_BASE
-#define MICROPY_SAFE_BOOT_PORT                      GPIOA3_BASE
-#define MICROPY_SYS_LED_GPIO                        pin_GPIO25
-#define MICROPY_SYS_LED_PIN_NUM                     PIN_21      // GPIO25   (SOP2)
-#define MICROPY_SAFE_BOOT_PIN_NUM                   PIN_18      // GPIO28
-#define MICROPY_SYS_LED_PORT_PIN                    GPIO_PIN_1
-#define MICROPY_SAFE_BOOT_PORT_PIN                  GPIO_PIN_4
-
-#define MICROPY_PORT_SFLASH_BLOCK_COUNT             96
diff --git a/cc3200/boards/WIPY-SD/pins.csv b/cc3200/boards/WIPY-SD/pins.csv
deleted file mode 100644
index 760bb15f98eb33b51dbd25aa4022f5c476505bd0..0000000000000000000000000000000000000000
--- a/cc3200/boards/WIPY-SD/pins.csv
+++ /dev/null
@@ -1,25 +0,0 @@
-L2,GPIO2
-L3,GPIO1
-L4,GPIO23
-L5,GPIO24
-L6,GPIO11
-L7,GPIO12
-L8,GPIO13
-L9,GPIO14
-L10,GPIO15
-L11,GPIO16
-L12,GPIO17
-L13,GPIO22
-L14,GPIO28
-R4,GPIO10
-R5,GPIO9
-R6,GPIO8
-R7,GPIO7
-R8,GPIO6
-R9,GPIO30
-R10,GPIO31
-R11,GPIO3
-R12,GPIO0
-R13,GPIO4
-R14,GPIO5
-HBL,GPIO25
diff --git a/cc3200/boards/WIPY/mpconfigboard.h b/cc3200/boards/WIPY/mpconfigboard.h
index 6ff6fe35bf51ef7e149df9a2797c4490abf0d273..c7036710eb636b2fc056a2d1e6d596962e6e6836 100644
--- a/cc3200/boards/WIPY/mpconfigboard.h
+++ b/cc3200/boards/WIPY/mpconfigboard.h
@@ -30,7 +30,7 @@
 #define MICROPY_HW_BOARD_NAME                       "WiPy"
 #define MICROPY_HW_MCU_NAME                         "CC3200"
 
-#define MICROPY_HW_HAS_SDCARD                       (0)
+#define MICROPY_HW_HAS_SDCARD                       (1)
 #define MICROPY_HW_ENABLE_RNG                       (1)
 #define MICROPY_HW_ENABLE_RTC                       (1)