- Devel - lists.tockos.org

Weekly call agenda 10/27
by amit＠amitlevy.com Oct. 27, 2023

Oct. 27, 2023

Scheduled Conference Date: Friday, October 27, 2023 Scheduled Start Time: 9:00 AM Pacific, 12:00 PM Eastern Join the call: https://meetings.dialpad.com/room/tock/1vnk9r3e1b *Note the new meeting link!* Agenda: - General Updates - Network WG updates - OpenTitan WG updates - Proposal: Form Community WG with first task organizing TockWorld 2024

1 0

Call for agenta items
by Amit Levy Oct. 27, 2023

Oct. 27, 2023

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

1 0

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Oct. 20, 2023

Oct. 20, 2023

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

2 1

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Oct. 5, 2023

Oct. 5, 2023

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

1 0

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Sept. 29, 2023

Sept. 29, 2023

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

2 2

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Sept. 21, 2023

Sept. 21, 2023

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

1 0

[Devel] Call for Tock Meeting Agenda Items
by amit＠amitlevy.com Sept. 14, 2023

Sept. 14, 2023

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

1 0

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Sept. 14, 2023

Sept. 14, 2023

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

1 0

[Devel] Moving from helena-project list to devel@lists.tockos.org
by Amit Levy Sept. 8, 2023

Sept. 8, 2023

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

1 0