Rename default config file to mpconfig.h, and port's to mpconfigport.h.
mpconfig.h will automatically pull mpconfigport.h.
diff --git a/py/defaultconfig.h b/py/defaultconfig.h
deleted file mode 100644
index 9829bf7..0000000
--- a/py/defaultconfig.h
+++ /dev/null
@@ -1,7 +0,0 @@
-// This file contains default configuration settings for MicroPython.
-// You can override any of these options in mpconfig.h for your port.
-
-// Whether to collect memory allocation stats
-#ifndef MICROPY_MEM_STATS
-#define MICROPY_MEM_STATS (1)
-#endif
diff --git a/py/malloc.c b/py/malloc.c
index 1765eb6..4f01dc6 100644
--- a/py/malloc.c
+++ b/py/malloc.c
@@ -3,7 +3,6 @@
#include "misc.h"
#include "mpconfig.h"
-#include "defaultconfig.h"
#if MICROPY_MEM_STATS
static int total_bytes_allocated = 0;
diff --git a/py/mpconfig.h b/py/mpconfig.h
new file mode 100644
index 0000000..17c5a77
--- /dev/null
+++ b/py/mpconfig.h
@@ -0,0 +1,13 @@
+// This file contains default configuration settings for MicroPython.
+// You can override any of these options using mpconfigport.h file located
+// in a directory of your port.
+
+#include <mpconfigport.h>
+
+// Any options not explicitly set in mpconfigport.h will get default
+// values below.
+
+// Whether to collect memory allocation stats
+#ifndef MICROPY_MEM_STATS
+#define MICROPY_MEM_STATS (1)
+#endif