Bryan Cantrill

OpenTitan: oreboot needs flash header to load properly

4

In Tock on OpenTitan, we discovered that Tock was broken by https://github.com/lowRISC/opentitan/commit/4425b287f8d2c6de6f10410192ee7ef761c71189, as described in https://github.com/tock/tock/pull/1460#issuecomment-573380139. It appears that oreboot has the same problem: its layout will need to be...

regs_write() and regs_read() do not return complete results

6

The instruction detail provided via `InsnDetail`'s `regs_write()` and `regs_read()` only return a subset of the registers written to or read from. For example, running the C-based `cstool`: ``` $ cstool...