Skip to content

[CHERIoT]: Add cheriot_sealing_type clang built-in#167

Closed
xdoardo wants to merge 1 commit intoCHERIoT-Platform:cheriotfrom
xdoardo:cheriot-emit-static-sealing-type
Closed

[CHERIoT]: Add `cheriot_sealing_type` clang built-in#167
xdoardo wants to merge 1 commit intoCHERIoT-Platform:cheriotfrom
xdoardo:cheriot-emit-static-sealing-type

Commits

Commits on Jun 5, 2025