Skip to content

[CHERI] Silence warning about missing switch case.#188

Merged
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:dep-ptr
Jul 14, 2025
Merged

[CHERI] Silence warning about missing switch case.#188
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:dep-ptr

Commits

Commits on Jul 14, 2025