Closed Timmmm closed 10 months ago
Scratch that, I totally missed this bit of the documentation:
Each command takes a from parameter which specifies which bundle to pull the source from. This defaults to from=sail-doc if left unspecified. In the following examples this is used for each separate example, so you will see from=
which corresponds to a documentation bundle generated in examples/ .json.
As far as I can tell you can only set one JSON source using e.g.
:sail-doc: riscv_model_rv32.sail
, but what if you want to reference RV32 and RV64 code? Or CHERI and non-CHERI code? These are currently compile time configurations in RISC-V so you need to build a number of JSON files, and load from all of them.