Add CI support for building RISCV64-CHERI - #6

Open

michaelcobb-capablehub wants to merge 11 commits into

CHERI-Alliance:cheri-microkitfrom

The-Capable-Hub:michaelcobb/add-riscv64-cheri-ci

Commits on Mar 25, 2026

README: update links for new docsite structure

lsf37
authored and
michaelcobb-capablehub
committed
4dd4a68
CHANGES: update releases link

lsf37
authored and
michaelcobb-capablehub
committed
e36441b
CI: Update `uses` to `The-Capable-Hub/CHERI-seL4-ci-actions`
michaelcobb-capablehub
committed
75b2378
CI: Use `the-capable-hub-aws-ci` runner
michaelcobb-capablehub
committed
0764ce0
CI: Use TCH Ubuntu 24 builder container image
michaelcobb-capablehub
committed
53bcf9e
CI: compilation_checks.yml: Add RISCV64_CHERI target
michaelcobb-capablehub
committed
96ecdb7
CI: sel4exercises: Initial commit CI workflow
michaelcobb-capablehub
committed
b3f70df
CI: compilation-checks.yml: Add arch_ext input and use RVY for RISCV CHERI
michaelcobb-capablehub
committed
2229956
CI: sel4exercises: rename to cheri-sel4exercises
michaelcobb-capablehub
committed
6d824f5
CI: cheri-sel4microkittest: Initial commit workflow
michaelcobb-capablehub
committed
f686241
CI: Update references to CHERI-seL4-ci-actions repo to point to `cheri`
michaelcobb-capablehub
committed
d6b28e6