text: #define MICROPY_HW_BOARD_NAME       "F7DISC"
  #define MICROPY_HW_MCU_NAME         "STM32F746"
  
  #define MICROPY_HW_HAS_SWITCH       (1)
  #define MICROPY_HW_HAS_FLASH        (1)
  #define MICROPY_HW_HAS_SDCARD       (1)
  #define MICROPY_HW_ENABLE_RNG       (1)
  #define MICROPY_HW_ENABLE_RTC       (1)
  #define MICROPY_HW_ENABLE_USB       (1)
  
  