Hi,1. I was looking into GDB on cheribsd to extract the value of PCC for a program. I found that for different programs PCC value remained the same. is this some bug?2. Do you have any ideas about communicating between two FVPs running on the same host linux. virtioP9 device should work?
Please could you give some more detailed instructions on this, sorry if I have missed anything obvious in the documentation.
Thanks,