Jason Lowe-Power

Sounds like PMP register state isn't saved at the checkpoint. Thanks for the detailed bug report! Feel free to contribute a change to fix this! I can't give an estimate...

We should modify the default device trees for RISC-V to specify using Sv39 instead of Sv48. We should also implement Sv48 at some point in the gem5 PTW.

You can look at the `.cpt` file to see all of the data that's stored. To debug this, here's what I'd do: - Use the `Exec` debug flag after you...

> Is this actually desirable? We don't really save any space in the simulator by masking out bits here, so the only reason you'd do it is to exclude some...

Changes needed: 1. Remove `build` dir 2. Add `build` dir to the .gitignore 3. Explain how to build the html 4. Explain the requirements to build (e.g., installing sphinx)

Could you drop the commit that adds the `/docs` directory for now? @Harshil2107 can you review this?

Awesome! Yes, please feel free to try to tackle this issue. If you have any questions, don't hesitate to ask. @BobbyRBruce has successfully reproduced the issue, but we haven't had...

@mahyarsamani I think this is taken care of in #1167 (https://github.com/gem5/gem5/pull/1167/files#diff-5f953e360b63f100c0d5b74c02d3d36e5c04ad79be1b5b09e0b981ab6b900ca1R432) If so, can you close this PR?

Can you use `createOptions` to add `--device /dev/kvm`? See https://docs.github.com/en/actions/hosting-your-own-runners/managing-self-hosted-runners/customizing-the-containers-used-by-jobs#arguments-for-prepare_job

The device tree code in Arm is *very* difficult to follow. It's hidden in about 12 different places, and none of them are consistent with others. I **think** the code...