@typecad/framework-zephyr 1.0.0-alpha.16 → 1.0.0-alpha.19

package/dist/chips/board-overrides.js

@@ -1,11 +0,0 @@
-// ---------------------------------------------------------------------------
-// board-overrides.ts — curated board-level facts the devicetree cannot
-// express. The honest residue of the board-package deletion: things a board
-// vendor documents in a datasheet but never encodes in DTS.
-//
-// Keyed by the bare board id (the first segment of the qualified target, so
-// every variant/qualifier of the board inherits the override).
-// ----------------------------------------------------------------------------
-export const BOARD_OVERRIDES = {
-    esp32s3_devkitc: { led: 'GPIO48' },
-};

package/dist/chips/esp32.d.ts

@@ -1,2 +0,0 @@
-import type { ZephyrChipDescriptor } from './types.js';
-export declare const ESP32_DEVKITC: ZephyrChipDescriptor;

package/dist/chips/esp32.js

@@ -1,71 +0,0 @@
-// ---------------------------------------------------------------------------
-// Espressif ESP32 (esp32_devkitc) — Zephyr board descriptor
-//
-// Board target: `esp32_devkitc` (mainline Zephyr,
-// boards/espressif/esp32_devkitc). Programmed over USB via the esptool runner
-// (see toolchain/index.ts), the same flash path as the ESP32-S3.
-//
-// GPIO is split across TWO devicetree controllers — `gpio0` (pins 0–31) and
-// `gpio1` (pins 32–39) — so this descriptor lists both in `gpioControllers`.
-// The lowering routes each HAL pin to its owning controller at runtime; see
-// chips/controllers.ts. (Same shape as the S3, but the ESP32's highest GPIO is
-// 39, not 48 — `gpio1` has ngpios=8, not 17.)
-//
-// Minimal-by-design: the only DT facts carried here are the ones a compile-time
-// DT macro cannot reach — the runtime pin→controller split, plus the `sw0`
-// alias for the BOOT button (used by the devicetree-spec GPIO path). Every other
-// DT fact (UART/I2C/SPI/`wdt` nodelabels) is resolved by Zephyr's own
-// devicetree via emitted DT_NODELABEL macros, not hand-copied here.
-//
-// Verified against the Zephyr board DTS:
-//   boards/espressif/esp32_devkitc/esp32_devkitc_procpu.dts
-//   aliases { sw0 = &button0; } → button_0: pin 0 on gpio0, active-low + pull-up
-//   &gpio0/&gpio1 { status = "okay" }   (esp32_devkitc_procpu.dts:64-70)
-//   &wifi { status = "okay" }            (esp32_devkitc_procpu.dts:143-145)
-// GPIO controller coverage:
-//   dts/xtensa/espressif/esp32/esp32_common.dtsi:314-337
-//   gpio0: ngpios = <32>  (pins 0–31)
-//   gpio1: ngpios = <8>   (pins 32–39)
-//
-// Note: GPIO 34–39 are input-only pads on ESP32 silicon (not modeled here —
-// the DT does not encode output restrictions per pin; an output config on those
-// pins fails at runtime against the raw controller, which is the expected
-// silicon-accurate behavior).
-// ---------------------------------------------------------------------------
-export const ESP32_DEVKITC = {
-    id: 'esp32_devkitc',
-    soc: 'esp32',
-    gpioController: 'gpio0',
-    gpioControllers: [
-        { nodelabel: 'gpio0', minPin: 0, maxPin: 31 },
-        { nodelabel: 'gpio1', minPin: 32, maxPin: 39 },
-    ],
-    gpio: {
-        // The BOOT button (GPIO0) is the board's only DT-aliased GPIO. Listed so a
-        // program reading/interrupting pin 0 goes through the polarity-correct
-        // devicetree-spec path (GPIO_ACTIVE_LOW honored by the DT flags).
-        dtSpecs: [
-            { pin: 0, dtSpec: 'sw0' }, // BOOT button (GPIO0)
-        ],
-        interruptPins: [
-            { pin: 0, dtSpec: 'sw0' }, // BOOT button (GPIO0)
-        ],
-    },
-    // WiFi: the ESP32 has a 2.4GHz radio; conn_mgr + the esp32 wifi driver
-    // (CONFIG_WIFI_ESP32) provide connectivity. WIFI_ESP32 depends on !SMP, and
-    // the ESP32 is AMP (dual-image procpu/appcpu), not SMP, by default — so the
-    // dependency is satisfied. Omitted on radioless targets.
-    wifi: { supported: true },
-    // DAC: the ESP32 has two 8-bit DAC channels on GPIO25 (channel 1) and GPIO26
-    // (channel 2). The Zephyr esp32 DAC driver (drivers/dac/dac_esp32.c) exposes
-    // them via the `dac0` node; the lowering emits dac_channel_setup +
-    // dac_write_value against DEVICE_DT_GET(DT_NODELABEL(dac0)). The overlay
-    // enables the node when the program uses dac.*. ESP32-S3 has no DAC.
-    dac: {
-        device: 'dac0',
-        channels: [
-            { pin: 25, channel: 1, resolution: 8 },
-            { pin: 26, channel: 2, resolution: 8 },
-        ],
-    },
-};

package/dist/chips/esp32s3.d.ts

@@ -1,2 +0,0 @@
-import type { ZephyrChipDescriptor } from './types.js';
-export declare const ESP32S3_DEVKITC: ZephyrChipDescriptor;

package/dist/chips/esp32s3.js

@@ -1,103 +0,0 @@
-// ---------------------------------------------------------------------------
-// Espressif ESP32-S3 (esp32s3_devkitc) — Zephyr board descriptor
-//
-// Board target: `esp32s3_devkitc` (mainline Zephyr,
-// boards/espressif/esp32s3_devkitc). Programmed over USB via the esptool
-// runner (see toolchain/index.ts), unlike the J-Link/nrfjprog path used for
-// the XIAO nRF52840.
-//
-// GPIO is split across TWO devicetree controllers — `gpio0` (pins 0–31) and
-// `gpio1` (pins 32–48) — so this descriptor lists both in `gpioControllers`.
-// The lowering routes each HAL pin to its owning controller at runtime; see
-// chips/controllers.ts.
-//
-// Minimal-by-design: the only DT facts carried here are the ones a
-// compile-time DT macro cannot reach — the runtime pin→controller split, plus
-// the `sw0` alias for the BOOT button (used by the devicetree-spec GPIO path).
-// Every other DT fact (UART/I2C/SPI/`wdt` nodelabels) is resolved by Zephyr's
-// own devicetree via emitted DT_NODELABEL macros, not hand-copied here.
-//
-// Verified against the Zephyr board DTS:
-//   boards/espressif/esp32s3_devkitc/esp32s3_devkitc_procpu.dts
-//   aliases { sw0 = &button0; } → button_0: pin 0 on gpio0, active-low + pull-up
-//   (the DevKitC board DTS defines no led0 alias — the onboard RGB is a WS2812
-//   on GPIO38, not a plain GPIO LED, so it is intentionally NOT listed here.)
-// ---------------------------------------------------------------------------
-export const ESP32S3_DEVKITC = {
-    id: 'esp32s3_devkitc',
-    soc: 'esp32s3',
-    gpioController: 'gpio0',
-    gpioControllers: [
-        { nodelabel: 'gpio0', minPin: 0, maxPin: 31 },
-        { nodelabel: 'gpio1', minPin: 32, maxPin: 48 },
-    ],
-    gpio: {
-        // The BOOT button (GPIO0) is the board's only DT-aliased GPIO. Listed so a
-        // program reading/interrupting pin 0 goes through the polarity-correct
-        // devicetree-spec path (GPIO_ACTIVE_LOW honored by the DT flags). Every
-        // other GPIO pin uses the raw-controller path against its owning controller.
-        dtSpecs: [
-            { pin: 0, dtSpec: 'sw0' }, // BOOT button (GPIO0)
-        ],
-        interruptPins: [
-            { pin: 0, dtSpec: 'sw0' }, // BOOT button (GPIO0)
-        ],
-    },
-    // UART/I2C/SPI/`wdt` are intentionally omitted: their devicetree nodelabels
-    // (uart0/uart1/uart2, i2c0/i2c1, spi2/spi3, wdt0) are resolved by Zephyr's
-    // devicetree at compile time and don't need to be carried as data here. ADC is
-    // omitted as well — added when a demo needs analog reads, with the verified
-    // ESP32-S3 ADC1/ADC2 pin→channel map.
-    // WiFi: the ESP32-S3 has a 2.4GHz radio; conn_mgr + the esp32 wifi driver
-    // (CONFIG_WIFI_ESP32) provide connectivity. Omitted on radioless targets.
-    wifi: { supported: true },
-    // User buses, mirroring the devkit's verified facts (the
-    // board-constants path is authoritative in real builds; this registry
-    // entry is the fallback when board constants are absent — e.g. the
-    // transpile test harness). uart1 (not uart0 — the console) with the
-    // pinctrl group + current-speed the esp32-uart binding requires; i2c0;
-    // spi2/spi3.
-    i2c: { controllers: [{ nodeLabel: 'i2c0' }] },
-    spi: { controllers: [{ nodeLabel: 'spi2' }, { nodeLabel: 'spi3' }] },
-    uart: {
-        controllers: [
-            {
-                nodeLabel: 'uart1',
-                pinctrlRef: 'uart1_default',
-                props: ['current-speed = <115200>;'],
-            },
-        ],
-    },
-    // USB CDC-ACM over the S3's native USB-OTG (D-/D+ on the dedicated GPIO19/20
-    // pads, no GPIO matrix). The board DTS already aliases the DWC2 controller
-    // node and enables it (`zephyr_udc0: &usb_otg { status = "okay"; }` —
-    // esp32s3_devkitc_procpu.dts), and the UDC DWC2 driver is DT-default-on, so
-    // declaring it here is all usb.* needs: the overlay composes one CDC-ACM
-    // instance child and the kconfig resolver enables the "next" USB stack.
-    // Console stays on uart0 (the devkit's USB-serial bridge) unless
-    // `console.output: 'usb'` rebinds zephyr,console to the CDC port.
-    usb: { controller: 'zephyr_udc0', cdcInstances: 1, vid: '0x2FE3', pid: '0x0006' },
-    // PWM: the LEDC controller (ledc0 in esp32s3_common.dtsi) — 8 channels, each
-    // routable to nearly any pad through the GPIO matrix, so this is a matrix
-    // (channels assigned to the driven pins at build time), not a static spec
-    // list. Pin selection excludes: GPIO0 (boot strap / BOOT button), GPIO19/20
-    // (USB D-/D+), GPIO26–32 (SPI flash/PSRAM), GPIO33–37 (octal PSRAM on OPI
-    // modules), GPIO43/44 (uart0 console pads). The driver
-    // (CONFIG_PWM_LED_ESP32, DT-default-on) requires a pinctrl group routing
-    // each used channel (LEDC_CH<ch>_GPIO<pin> pinmux tokens, all 8×46 pairs in
-    // esp32s3-pinctrl.h) plus per-channel child nodes (reg + timer) — both
-    // emitted by the overlay generator (dt-config/overlay.ts emitPwmNodes).
-    pwm: {
-        specs: [],
-        matrix: {
-            controller: 'ledc0',
-            channelCount: 8,
-            pins: [
-                1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18,
-                21,
-                38, 39, 40, 41, 42,
-                45, 46, 47, 48,
-            ],
-        },
-    },
-};

package/dist/chips/soc/.d.ts

@@ -1,2 +0,0 @@
-import type { ZephyrChipDescriptor } from '../types.js';
-export declare const _SOC: ZephyrChipDescriptor;

package/dist/chips/soc/.js

@@ -1,129 +0,0 @@
-// GENERATED by scripts/gen-soc-descriptors.mjs — consolidated from the
-// board-xiao-nrf52840 + mcu-nrf52840 package data (the exact flatten+reconstruct the build
-// performed). Curated additions: tier/pinNaming/excludedPins. Regenerate
-// only alongside a descriptor-type change; hand-edit the curated table in
-// the script, not this file.
-export const _SOC = {
-    "id": "xiao_ble/nrf52840",
-    "soc": "",
-    "gpioController": "gpio0",
-    "gpioControllers": [
-        {
-            "nodelabel": "gpio0",
-            "minPin": 0,
-            "maxPin": 31
-        },
-        {
-            "nodelabel": "gpio1",
-            "minPin": 32,
-            "maxPin": 47
-        }
-    ],
-    "gpio": {
-        "dtSpecs": [
-            {
-                "pin": 26,
-                "dtSpec": "led0"
-            },
-            {
-                "pin": 30,
-                "dtSpec": "led1"
-            },
-            {
-                "pin": 6,
-                "dtSpec": "led2"
-            }
-        ]
-    },
-    "i2c": {
-        "controllers": [
-            {
-                "nodeLabel": "i2c1"
-            }
-        ]
-    },
-    "spi": {
-        "controllers": [
-            {
-                "nodeLabel": "spi2"
-            }
-        ]
-    },
-    "uart": {
-        "controllers": [
-            {
-                "nodeLabel": "uart0"
-            }
-        ]
-    },
-    "pwm": {
-        "specs": [
-            {
-                "pin": 17,
-                "dtSpec": "pwm-led0"
-            }
-        ],
-        "maxFrequencyHz": 2000000,
-        "resolutionBits": 16
-    },
-    "adc": {
-        "nodeLabel": "adc",
-        "resolution": 12,
-        "vrefMv": 3000,
-        "channels": [
-            {
-                "pin": 2,
-                "channel": 0
-            },
-            {
-                "pin": 3,
-                "channel": 1
-            },
-            {
-                "pin": 28,
-                "channel": 2
-            },
-            {
-                "pin": 29,
-                "channel": 3
-            }
-        ]
-    },
-    "wdt": {
-        "nodeLabel": "wdt0"
-    },
-    "usb": {
-        "controller": "zephyr_udc0",
-        "cdcInstances": 1,
-        "vid": "0x2FE3",
-        "pid": "0x0003"
-    },
-    "probeMethods": [
-        {
-            "id": "jlink",
-            "runner": "jlink",
-            "description": "J-Link probe (SWD)",
-            "debug": true,
-            "debugInterface": "swd",
-            "debugDevice": "nRF52840_xxAA"
-        },
-        {
-            "id": "openocd",
-            "runner": "openocd",
-            "description": "Any SWD probe openocd supports (CMSIS-DAP, cheap clones)",
-            "debug": true,
-            "debugInterface": "swd",
-            "debugCfgSource": [
-                "interface/stlink.cfg",
-                "target/nrf52.cfg"
-            ]
-        },
-        {
-            "id": "uf2",
-            "runner": "uf2",
-            "description": "Bootloader UF2 drag-and-drop: double-tap reset",
-            "debug": false
-        }
-    ],
-    "tier": "validated"
-};

package/dist/chips/soc/esp32.d.ts

@@ -1,2 +0,0 @@
-import type { ZephyrChipDescriptor } from '../types.js';
-export declare const ESP32_SOC: ZephyrChipDescriptor;

package/dist/chips/soc/esp32.js

@@ -1,120 +0,0 @@
-// Hand-maintained descriptor table — mechanically migrated from the
-// board-esp32-devkit + mcu-esp32 package data (the exact flatten+reconstruct the build
-// performed). Curated additions: tier/pinNaming/excludedPins. Regenerate
-// only alongside a descriptor-type change (edit this file; the original
-// migration script was never committed).
-export const ESP32_SOC = {
-    "id": "esp32_devkitc/esp32/procpu",
-    "soc": "esp32",
-    "gpioController": "gpio0",
-    "gpioControllers": [
-        {
-            "nodelabel": "gpio0",
-            "minPin": 0,
-            "maxPin": 31
-        },
-        {
-            "nodelabel": "gpio1",
-            "minPin": 32,
-            "maxPin": 39
-        }
-    ],
-    "gpio": {
-        "dtSpecs": [
-            {
-                "pin": 0,
-                "dtSpec": "sw0"
-            }
-        ],
-        "interruptPins": [
-            {
-                "pin": 0,
-                "dtSpec": "sw0"
-            }
-        ]
-    },
-    "i2c": {
-        "controllers": [
-            {
-                "nodeLabel": "i2c0"
-            }
-        ]
-    },
-    "spi": {
-        "controllers": [
-            {
-                "nodeLabel": "spi2"
-            },
-            {
-                "nodeLabel": "spi3"
-            }
-        ]
-    },
-    "uart": {
-        "controllers": [
-            {
-                "nodeLabel": "uart1"
-            },
-            {
-                "nodeLabel": "uart2"
-            }
-        ]
-    },
-    "adc": {
-        "nodeLabel": "adc0",
-        "resolution": 12,
-        "vrefMv": 1100,
-        "channels": [
-            {
-                "pin": 36,
-                "channel": 0
-            },
-            {
-                "pin": 37,
-                "channel": 1
-            },
-            {
-                "pin": 38,
-                "channel": 2
-            },
-            {
-                "pin": 39,
-                "channel": 3
-            },
-            {
-                "pin": 32,
-                "channel": 4
-            },
-            {
-                "pin": 33,
-                "channel": 5
-            },
-            {
-                "pin": 34,
-                "channel": 6
-            },
-            {
-                "pin": 35,
-                "channel": 7
-            }
-        ]
-    },
-    "wdt": {
-        "nodeLabel": "wdt0"
-    },
-    "wifi": {
-        "supported": true
-    },
-    "tier": "validated",
-    "pinNaming": "esp32-gpio",
-    "excludedPins": [
-        6,
-        7,
-        8,
-        9,
-        10,
-        11,
-        16,
-        17
-    ]
-};

package/dist/chips/soc/esp32c3.d.ts

@@ -1,2 +0,0 @@
-import type { ZephyrChipDescriptor } from '../types.js';
-export declare const ESP32C3_SOC: ZephyrChipDescriptor;

package/dist/chips/soc/esp32c3.js

@@ -1,90 +0,0 @@
-// Hand-maintained descriptor table — mechanically migrated from the
-// board-esp32c3 + mcu-esp32c3 package data (the exact flatten+reconstruct the build
-// performed). Curated additions: tier/pinNaming/excludedPins. Regenerate
-// only alongside a descriptor-type change (edit this file; the original
-// migration script was never committed).
-export const ESP32C3_SOC = {
-    "id": "esp32c3_devkitm/esp32c3",
-    "soc": "esp32c3",
-    "gpioController": "gpio0",
-    "gpio": {
-        "dtSpecs": [
-            {
-                "pin": 9,
-                "dtSpec": "sw0"
-            }
-        ],
-        "interruptPins": [
-            {
-                "pin": 9,
-                "dtSpec": "sw0"
-            }
-        ]
-    },
-    "i2c": {
-        "controllers": [
-            {
-                "nodeLabel": "i2c0"
-            }
-        ]
-    },
-    "spi": {
-        "controllers": [
-            {
-                "nodeLabel": "spi2"
-            }
-        ]
-    },
-    "uart": {
-        "controllers": [
-            {
-                "nodeLabel": "uart0"
-            }
-        ]
-    },
-    "adc": {
-        "nodeLabel": "adc0",
-        "resolution": 12,
-        "vrefMv": 1100,
-        "channels": [
-            {
-                "pin": 0,
-                "channel": 0
-            },
-            {
-                "pin": 1,
-                "channel": 1
-            },
-            {
-                "pin": 2,
-                "channel": 2
-            },
-            {
-                "pin": 3,
-                "channel": 3
-            },
-            {
-                "pin": 4,
-                "channel": 4
-            }
-        ]
-    },
-    "wdt": {
-        "nodeLabel": "wdt0"
-    },
-    "wifi": {
-        "supported": true
-    },
-    "tier": "validated",
-    "pinNaming": "esp32-gpio",
-    "excludedPins": [
-        11,
-        12,
-        13,
-        14,
-        15,
-        16,
-        17,
-        18
-    ]
-};

package/dist/chips/soc/esp32c6.d.ts

@@ -1,2 +0,0 @@
-import type { ZephyrChipDescriptor } from '../types.js';
-export declare const ESP32C6_SOC: ZephyrChipDescriptor;

package/dist/chips/soc/esp32c6.js

@@ -1,109 +0,0 @@
-// Hand-maintained descriptor table — mechanically migrated from the
-// board-esp32c6 + mcu-esp32c6 package data (the exact flatten+reconstruct the build
-// performed). Curated additions: tier/pinNaming/excludedPins. Regenerate
-// only alongside a descriptor-type change (edit this file; the original
-// migration script was never committed).
-export const ESP32C6_SOC = {
-    "id": "esp32c6_devkitc/esp32c6/hpcore",
-    "soc": "esp32c6",
-    "gpioController": "gpio0",
-    "gpio": {
-        "dtSpecs": [
-            {
-                "pin": 9,
-                "dtSpec": "sw0"
-            }
-        ],
-        "interruptPins": [
-            {
-                "pin": 9,
-                "dtSpec": "sw0"
-            }
-        ]
-    },
-    "i2c": {
-        "controllers": [
-            {
-                "nodeLabel": "i2c0"
-            }
-        ]
-    },
-    "spi": {
-        "controllers": [
-            {
-                "nodeLabel": "spi2"
-            }
-        ]
-    },
-    "uart": {
-        "controllers": [
-            {
-                "nodeLabel": "uart0"
-            }
-        ]
-    },
-    "adc": {
-        "nodeLabel": "adc0",
-        "resolution": 12,
-        "vrefMv": 1100,
-        "channels": [
-            {
-                "pin": 0,
-                "channel": 0
-            },
-            {
-                "pin": 1,
-                "channel": 1
-            },
-            {
-                "pin": 2,
-                "channel": 2
-            },
-            {
-                "pin": 3,
-                "channel": 3
-            },
-            {
-                "pin": 4,
-                "channel": 4
-            },
-            {
-                "pin": 5,
-                "channel": 5
-            },
-            {
-                "pin": 6,
-                "channel": 6
-            }
-        ]
-    },
-    "wdt": {
-        "nodeLabel": "wdt0"
-    },
-    "wifi": {
-        "supported": true
-    },
-    "tier": "validated",
-    "pinNaming": "esp32-gpio",
-    "excludedPins": [
-        12,
-        13,
-        14,
-        15,
-        16,
-        17,
-        18,
-        19,
-        20,
-        21,
-        22,
-        23,
-        24,
-        25,
-        26,
-        27,
-        28,
-        29,
-        30
-    ]
-};

package/dist/chips/soc/esp32s3.d.ts

@@ -1,2 +0,0 @@
-import type { ZephyrChipDescriptor } from '../types.js';
-export declare const ESP32S3_SOC: ZephyrChipDescriptor;