text: // SPDX-License-Identifier: MIT
  // Copyright (c) 2018-2020 The Pybricks Authors
  
  #include <pbdrv/config.h>
  #include "pbinit.h"
  
  #define MICROPY_HW_BOARD_NAME             "LEGO MINDSTORMS EV3 Intelligent Brick"
  #define MICROPY_HW_MCU_NAME               "Texas Instruments AM1808"
  
  #define PYBRICKS_HUB_CLASS_NAME         (MP_QSTR_EV3Brick)
  
  #define PYBRICKS_HUB_EV3BRICK           (1)
  
  // Pybricks modules
  #define PYBRICKS_PY_COMMON              (1)
  #define PYBRICKS_PY_COMMON_IMU          (0)
  #define PYBRICKS_PY_COMMON_KEYPAD       (1)
  #define PYBRICKS_PY_COMMON_LIGHT_MATRIX (0)
  #define PYBRICKS_PY_COMMON_MOTORS       (1)
  #define PYBRICKS_PY_EV3DEVICES          (1)
  #define PYBRICKS_PY_EXPERIMENTAL        (1)
  #define PYBRICKS_PY_GEOMETRY            (1)
  #define PYBRICKS_PY_HUBS                (1)
  #define PYBRICKS_PY_IODEVICES           (1)
  #define PYBRICKS_PY_MEDIA               (0)
  #define PYBRICKS_PY_MEDIA_EV3DEV        (1)
  #define PYBRICKS_PY_NXTDEVICES          (1)
  #define PYBRICKS_PY_PARAMETERS          (1)
  #define PYBRICKS_PY_PARAMETERS_BUTTON   (1)
  #define PYBRICKS_PY_PARAMETERS_ICON     (0)
  #define PYBRICKS_PY_PUPDEVICES          (0)
  #define PYBRICKS_PY_ROBOTICS            (1)
  #define PYBRICKS_PY_TOOLS               (1)
  #define PYBRICKS_PY_USIGNAL             (1)
  
  #define MICROPY_PORT_INIT_FUNC pybricks_init()
  #define MICROPY_PORT_DEINIT_FUNC pybricks_deinit()
  #define MICROPY_MPHALPORT_H "ev3dev_mphal.h"
  #define MICROPY_PY_SYS_PATH_DEFAULT (":~/.pybricks-micropython/lib:/usr/lib/pybricks-micropython")
  
  extern const struct _mp_obj_module_t pb_package_pybricks;
  #define _PYBRICKS_PACKAGE_PYBRICKS \
      { MP_OBJ_NEW_QSTR(MP_QSTR__pybricks), (mp_obj_t)&pb_package_pybricks },
  
  extern const struct _mp_obj_module_t pb_module_bluetooth;
  extern const struct _mp_obj_module_t pb_module_media_ev3dev;
  extern const struct _mp_obj_module_t pb_module_usignal;
  
  #define PYBRICKS_PORT_BUILTIN_MODULES \
      _PYBRICKS_PACKAGE_PYBRICKS        \
      { MP_ROM_QSTR(MP_QSTR_bluetooth_c),     MP_ROM_PTR(&pb_module_bluetooth)        }, \
      { MP_ROM_QSTR(MP_QSTR_media_ev3dev_c),  MP_ROM_PTR(&pb_module_media_ev3dev)     }, \
      { MP_ROM_QSTR(MP_QSTR_usignal),         MP_ROM_PTR(&pb_module_usignal)          },
  