platform-espressif32/boards/denky_d4.json

{
  "build": {
    "core": "esp32",
    "extra_flags": [
      "-DARDUINO_DENKY_PICOV3",
      "-DBOARD_HAS_PSRAM"
    ],
    "f_cpu": "240000000L",
    "f_flash": "80000000L",
    "flash_mode": "qio",
    "mcu": "esp32",
    "variant": "ch_denky"
  },
  "connectivity": [
    "wifi",
    "bluetooth",
    "ethernet",
    "can"
  ],
  "frameworks": [
    "arduino",
    "espidf"
  ],
  "name": "Denky D4 (PICO-V3-02)",
  "upload": {
    "flash_size": "8MB",
    "maximum_ram_size": 327680,
    "maximum_size": 8388608,
    "require_upload_port": true,
    "speed": 2000000
  },
  "url": "https://en.wikipedia.org/wiki/ESP32",
  "vendor": "Denky"
}