I will add one: on https://github.com/tock/tock/pull/3693 Pat mentioned possibly doing a tock-registers 1.0 release -- we can discuss timing for that.