Hi all, As previously mentioned, I'm working on a redesign of tock-registers which focuses on soundness and unit-testability. My implementation is at PR 11 <https://github.com/tock/tock-registers/pull/11>. At this point, I believe that the design is the correct path forward for tock-registers. I am looking for additional feedback on the design, so if you have not taken a look at it yet please do so. I'm hoping that at next week's core WG call, we can finalize the macro's name <https://github.com/tock/tock-registers/pull/11#discussion_r3275870143> and make the decision to move forward with the design (at which point I will break it up into smaller non-draft PRs). -Johnathan Van Why