Enable more configuration using the DTB

[abejgonzalez]

Addresses parts of #1716

Thanks @jerryz123 for the main work on this.

• A DTB that is passed in is used to set the number of harts, ISA, PMPs, MMU, and more of Spike.
  • Note: Device extensions that generate a DTS string do not affect the output of --dump-dts if the DTB is given.
  • Note: DTB provided memory regions are not used.
• Correctly catches interactive traps v.s. other traps in interactive mode.

[jerryz123]

Can you squash 751ab8f into 433c16c? (But don't squash all the commits together).

[abejgonzalez]

Can you squash 751ab8f into 433c16c? (But don't squash all the commits together).

Done

[aswaterman]

I don't expect to have time to review this one in the next few days, but @jerryz123 has my proxy.

[abejgonzalez]

I don't expect to have time to review this one in the next few days, but @jerryz123 has my proxy.

No rush. Unfortunately, @jerryz123 wrote the main parts of this PR so I don't think it's fair to have him also review it :)

[aswaterman]

True. Well, LMK when it's ready for review and I'll take a look when I have time.

[abejgonzalez]

True. Well, LMK when it's ready for review and I'll take a look when I have time.

It's ready whenever you are. Thanks!

[abejgonzalez]

@aswaterman any update on this?

[abejgonzalez]

CI issues look unrelated to this PR (timing out on fetching openocd).

[abejgonzalez]

@jerryz123 Can you re-run the CI test that is failing?

[aswaterman]

I clicked the rerun button.

I hope to review the PR tomorrow.

[abejgonzalez]

I clicked the rerun button.

I hope to review the PR tomorrow.

I think there is a problem with RISC-V OpenOCD. Looks like the https://git.savannah.nongnu.org/git/git2cl.git/ repo doesn't work anymore.

In any case, thanks!

[aswaterman]

It’s probably a transient outage; let’s try again tomorrow.

[abejgonzalez]

It’s probably a transient outage; let’s try again tomorrow.

CI passed so ready when you are. Thanks!

[aswaterman]

Hopefully tomorrow...

[aswaterman]

Thanks for organizing this PR such that it was easy to review.

There's one bit of refactoring I want to do, but I'll take care of it as my penance for taking so long.

[abejgonzalez]

Thanks!