Second UART for nRF52840 (and nRF52833) about tock HOT 3 CLOSED

Thanks for the quick response. I implemented the changes to make the registers configurable in #3722.
I hope this is what you had in mind.

from tock.

Indeed your proposed approach would work. Most peripheral drivers in Tock take a reference to their respective register file (StaticRef), which would all multiple instantiations of the same driver over different hardware instances. This does not seem to be the case for the nRF52 UART driver right now, but we should definitely be open to changing that. Here's an example of what that may look like:

Note that the DefaultPeripherals infrastructure has been explicitly designed such that you can instantiate a custom set of peripherals in your own board definition. Once the UART peripheral has been modified to take a register reference in its constructor, you can instantiate your own such peripheral set in a custom board module, by defining a custom peripherals struct similar to the Nrf52840DefaultPeripherals. The upstream Nrf52840DefaultPeripherals is supposed to cover most commonly used peripherals, and peripherals exposed on development boards. Thus we may not want to instantiate multiple UARTs in that particular peripheral set.

from tock.

Since #3722 has been merged I close this issue.

from tock.