Skip to content

Move documentation from main Kirsch doc/

Roman Meier requested to merge kirsch-doc-port into main

There's some documentation in Kirsch/doc on CHERI capability instructions that we should move to the Handbook.

See MR kirsch!3 (merged), which removes the doc/ folder.

Edited by Roman Meier

Merge request reports