Can’t make the call today, sorry (ACM E-Energy is due tonight). Doing a Registers release seems like a great idea. E.g., I see stuff like Capitra using it and so making a 1.0 seems like a bridge to cross. I’d defer to others on any technical issues. Phil

On Sep 28, 2023, at 9:19 PM, Hudson Randal Ayers <hayers@stanford.edu> wrote:

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

From: Hudson Randal Ayers <hayers@stanford.edu> Sent: Thursday, September 28, 2023 8:42 PM To: devel@lists.tockos.org <devel@lists.tockos.org> Subject: [Devel] Call for Tock Meeting Agenda Items

Please reply with agenda items and +1s for tomorrow's meeting _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org