Executing Kirsch

Kirsch supports the following execution targets:

  • ARM Morello FVP

  • CHERI RISC-V QEMU

The appropriate software is pre-installed in the Kirsch toolchain, and this guide assumes execution in the Kirsch toolchain container.

ARM Morello FVP

First, build the Morello loader morello_all target.

ninja -C build morello_all

To launch the Morello FVP with UART output to console, run:

bash scripts/fvp-run.sh

or

bash scripts/fvp-run-console.sh

If you have opened an X11 session, you can open the FVP graphical view with:

bash scripts/fvp-run-x11.sh

CHERI RISC-V QEMU

First, build the CHERI RISC-V riscv64_all target.

ninja -C build riscv64_all

To launch QEMU with console output, run:

bash scripts/qemu_run.sh