[CHERIoT] Allow `extern` on `cheriot_sealed` global variables#174

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

xdoardo:cheriot-allow-extern-sealed-globalxdoardo/llvm-project:cheriot-allow-extern-sealed-globalCopy head branch name to clipboard