September 2023 - Devel - lists.tockos.org

[Devel] Re: Call for Tock Meeting Agenda Items

by Philip Levis

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(a)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(a)stanford.edu> > Sent: Thursday, September 28, 2023 8:42 PM > To: devel(a)lists.tockos.org <devel(a)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(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Sept. 29, 2023

[Devel] Re: Call for Tock Meeting Agenda Items

by Hudson Randal Ayers

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. ________________________________ From: Hudson Randal Ayers <hayers(a)stanford.edu> Sent: Thursday, September 28, 2023 8:42 PM To: devel(a)lists.tockos.org <devel(a)lists.tockos.org> Subject: [Devel] Call for Tock Meeting Agenda Items Please reply with agenda items and +1s for tomorrow's meeting

Sept. 29, 2023

[Devel] Call for Tock Meeting Agenda Items

by Hudson Randal Ayers

Please reply with agenda items and +1s for tomorrow's meeting

Sept. 29, 2023

[Devel] Call for Tock Meeting Agenda Items

by Hudson Randal Ayers

Please reply with agenda items and +1s for tomorrow’s meeting

Sept. 22, 2023

[Devel] Call for Tock Meeting Agenda Items

by amit＠amitlevy.com

Please respond with suggestions and +1s for this week's Tock meeting -- Amit Levy Assistant Professor, Computer Science Princeton University https://amitlevy.com

Sept. 15, 2023

[Devel] Call for Tock Meeting Agenda Items

by Hudson Randal Ayers

Please reply with agenda items and +1s for tomorrow's meeting

Sept. 15, 2023

[Devel] Moving from helena-project list to devel@lists.tockos.org

by Amit Levy

Hi, You may notice that you've been subscribed to a new mailing list: devel(a)lists.tockos.org. This is because you were previously subscribed to the "helena-project" mailing list, where Tock development discussion happened. This will now happen on devel(a)lists.tockos.org including, for the time being, weekly meeting announcements and agenda. Of course, this is a fine opportunity to unsubscribe if you prefer, or change your preferred e-mail address. https://lists.tockos.org is using Mailman 3, which is at least 50% better than Mailman 2 (including better ways to login and change your mailing preferences). -Amit

Sept. 8, 2023