[CHERIoT]: Add `cheriot_sealed` attribute#158

xdoardo merged 1 commit intoCHERIoT-Platform:cheriotCHERIoT-Platform/llvm-project:cheriotfrom

xdoardo:cheriot-static-sealed-value-attrxdoardo/llvm-project:cheriot-static-sealed-value-attrCopy head branch name to clipboard