[CHERIoT] Bump __CHERIOT__ and __CHERIOT_BAREMETAL__ definitions#176
Merged
xdoardo merged 1 commit intoCHERIoT-Platform:cheriotfrom Jun 11, 2025
Merged
__CHERIOT__ and __CHERIOT_BAREMETAL__ definitions#176