[CHERIoT] Bump __CHERIOT__ and __CHERIOT_BAREMETAL__ defines#183
Merged
xdoardo merged 1 commit intoCHERIoT-Platform:cheriotfrom Jul 1, 2025
Merged
__CHERIOT__ and __CHERIOT_BAREMETAL__ defines#183