stmhal: Move PY_SYS_PLATFORM config from board to general config file.

It can be overridden by a board if needed.

stmhal/boards/CERB40/mpconfigboard.h

@@ -2,7 +2,6 @@
 
 #define MICROPY_HW_BOARD_NAME       "Cerb40"
 #define MICROPY_HW_MCU_NAME         "STM32F405RG"
-#define MICROPY_PY_SYS_PLATFORM     "pyboard"
 
 #define MICROPY_HW_HAS_SWITCH       (0)
 #define MICROPY_HW_HAS_FLASH        (1)

stmhal/boards/ESPRUINO_PICO/mpconfigboard.h

@@ -1,6 +1,5 @@
 #define MICROPY_HW_BOARD_NAME       "Espruino Pico"
 #define MICROPY_HW_MCU_NAME         "STM32F401CD"
-#define MICROPY_PY_SYS_PLATFORM     "pyboard"
 
 #define MICROPY_PY_USOCKET          (0)
 #define MICROPY_PY_NETWORK          (0)

stmhal/boards/PYBLITEV10/mpconfigboard.h

@@ -1,6 +1,5 @@
 #define MICROPY_HW_BOARD_NAME       "PYBLITEv1.0"
 #define MICROPY_HW_MCU_NAME         "STM32F411RE"
-#define MICROPY_PY_SYS_PLATFORM     "pyboard"
 
 #define MICROPY_HW_HAS_SWITCH       (1)
 #define MICROPY_HW_HAS_FLASH        (1)

stmhal/boards/PYBV10/mpconfigboard.h

@@ -1,6 +1,5 @@
 #define MICROPY_HW_BOARD_NAME       "PYBv1.0"
 #define MICROPY_HW_MCU_NAME         "STM32F405RG"
-#define MICROPY_PY_SYS_PLATFORM     "pyboard"
 
 #define MICROPY_HW_HAS_SWITCH       (1)
 #define MICROPY_HW_HAS_FLASH        (1)

stmhal/boards/PYBV11/mpconfigboard.h

@@ -1,6 +1,5 @@
 #define MICROPY_HW_BOARD_NAME       "PYBv1.1"
 #define MICROPY_HW_MCU_NAME         "STM32F405RG"
-#define MICROPY_PY_SYS_PLATFORM     "pyboard"
 
 #define MICROPY_HW_HAS_SWITCH       (1)
 #define MICROPY_HW_HAS_FLASH        (1)

stmhal/boards/PYBV4/mpconfigboard.h

@@ -1,6 +1,5 @@
 #define MICROPY_HW_BOARD_NAME       "PYBv4"
 #define MICROPY_HW_MCU_NAME         "STM32F405RG"
-#define MICROPY_PY_SYS_PLATFORM     "pyboard"
 
 #define MICROPY_HW_HAS_SWITCH       (1)
 #define MICROPY_HW_HAS_FLASH        (1)

stmhal/boards/STM32F411DISC/mpconfigboard.h

@@ -1,6 +1,5 @@
 #define MICROPY_HW_BOARD_NAME       "F411DISC"
 #define MICROPY_HW_MCU_NAME         "STM32F411"
-#define MICROPY_PY_SYS_PLATFORM     "pyboard"
 
 #define MICROPY_HW_HAS_SWITCH       (1)
 #define MICROPY_HW_HAS_FLASH        (1)

stmhal/mpconfigport.h

@@ -83,6 +83,9 @@
 #define MICROPY_PY_SYS_MAXSIZE      (1)
 #define MICROPY_PY_SYS_STDFILES     (1)
 #define MICROPY_PY_SYS_STDIO_BUFFER (1)
+#ifndef MICROPY_PY_SYS_PLATFORM     // let boards override it if they want
+#define MICROPY_PY_SYS_PLATFORM     "pyboard"
+#endif
 #define MICROPY_PY_COLLECTIONS_ORDEREDDICT (1)
 #define MICROPY_PY_MATH_SPECIAL_FUNCTIONS (1)
 #define MICROPY_PY_CMATH            (1)