Skip to content

[CHERI CSA] Disable pointer alignment checker for sealed capabilities.#204

Merged
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:csa-sealed
Jul 29, 2025
Merged

[CHERI CSA] Disable pointer alignment checker for sealed capabilities.#204
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:csa-sealed

Commits

Commits on Jul 29, 2025