This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Firmware Path Error when trying to --run-fvp-morello-purecap CheriBSD

Hi,

I am trying to run CheriBSD on Morello FVP. I am using Ubuntu 18.04 and the latest version of cmake. When I try to run "./cheribuild.py run-fvp-morello-purecap" I am receiving the error "Fatal error (in target run-fvp-morello-purecap): Firmware path /home/oliver/cheri/output/morello-sdk/firmware/morello-fvp is invalid, set the --run-fvp-morello-purecap/firmware-path config option!".

I'm unsure how to solve this, could I please be advised how to set the config option if that's what I need to do?

Many thanks.

Parents
  • Did you already run that with -d? Without -d (--include-dependencies) it won't have done any of the pre-requisite steps, like build CheriBSD, install the FVP and download the FVP firmware. That error's printed when the FVP firmware isn't present at the expected path.

Reply
  • Did you already run that with -d? Without -d (--include-dependencies) it won't have done any of the pre-requisite steps, like build CheriBSD, install the FVP and download the FVP firmware. That error's printed when the FVP firmware isn't present at the expected path.

Children