Isaac: Just a quick FYI, since I just noticed this problem: Apparently, cheribuild hardcodes the git branch to use when building qemu, regardless of the –qemu/git-revision setting. A manual clone is needed to override. (I was wondering why my change to how $DDC was handled wasn’t reflected in the simulator. It turns out that I was building CTSRD’s branch, not my branch.)
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?