Skip to content

[CHERI] Rename +cap-mode to +xcheripurecap#223

Merged
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:pure-cap-rename
Aug 16, 2025
Merged

[CHERI] Rename +cap-mode to +xcheripurecap#223
resistor merged 1 commit intoCHERIoT-Platform:cheriotfrom
resistor:pure-cap-rename

Commits

Commits on Aug 15, 2025