Johnathan Van Why

I'm unable to successfully run Redpen 0.3.0. I think there's a bug in either `redpen` or `redpen_wrapper`, but it's also possible that this is user error. Reproduction steps: Install Redpen...

LowRISC UART driver: `hil::uart::Configure::configure` can corrupt data

2

The [UART HIL](https://github.com/tock/tock/blob/699411a5539f82059b1709741d0c95bd59b37497/doc/reference/trd-uart.md#2-configuration-and-configure) states: > Any configuration-change must not apply to operations started before this change. The UART implementation is free to accept a configuration change and apply it with...

Note: I haven't verified this issue on hardware. I just spotted it while reading through the code, and want to document it so that nobody else has to debug this...

`tock_registers::peripheral!`: Sound and testable register definitions

9

This PR introduces `peripheral!` to `tock_registers`. `peripheral!` is a successor to `register_structs!` that makes several improvements: 1. It is sound. The types generated and used by `peripheral!` do not use...