- Devel - lists.tockos.org

Tock meeting agenda 2024-09-06

by Amit Levy

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Buffer management: - PacketBuffer vs Leasable Buffer - Plan to migrate interfaces - When should we be updating Rust versions? - Next release planning

Sept. 6, 2024

Call for Tock meeting agenda items 2024-09-06

by Amit Levy

Please respond with suggestions for agenda items for tomorrow's meeting

Sept. 5, 2024

Tock meeting agenda 2024-08-30

by Amit Levy

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Working group updates - General - Pull Request Queue - Treadmill CI - Tockloader-rs

Aug. 30, 2024

Re: Call for Tock meeting agenda items 08/30

by Leon Schuermann

Amit Levy via Devel <devel(a)lists.tockos.org> writes: > Please respond with suggested agenda items for the meeting tomorrow, 8/30 Depending on how tests in the next ~50 or so minutes go, we might have some updates to share on Treadmill. :) We'd generally like to chat about letting people onto the platform, soliciting testers and how this interacts with the planned release schedule.

Aug. 30, 2024

Re: Call for Tock meeting agenda items 08/30

by Amit Levy

Sure, invite them please! Aug 29, 2024 10:53:23 PM Alexandru Radovici <msg4alex(a)gmail.com>: > Hello, > > I would like to add tockloadwr-ra to the agenda, George Cosma and his team of two students have been working all summer to bring it up. Would it be ok to invite them in the meeting to present it? > > Best regards, > Alexandru > >> On Aug 30, 2024, at 03:30, Amit Levy via Devel <devel(a)lists.tockos.org> wrote: >> >> Please respond with suggested agenda items for the meeting tomorrow, 8/30 >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org

Aug. 30, 2024

Re: Call for Tock meeting agenda items 08/30

by Alexandru Radovici

Hello, I would like to add tockloadwr-ra to the agenda, George Cosma and his team of two students have been working all summer to bring it up. Would it be ok to invite them in the meeting to present it? Best regards, Alexandru > On Aug 30, 2024, at 03:30, Amit Levy via Devel <devel(a)lists.tockos.org> wrote: > > Please respond with suggested agenda items for the meeting tomorrow, 8/30 > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Aug. 30, 2024

Call for Tock meeting agenda items 08/30

by Amit Levy

Please respond with suggested agenda items for the meeting tomorrow, 8/30

Aug. 30, 2024

Rust embedded working-group "mini-survey"

by Amit Levy

All, I want to bring to your attention a mini-survey that the Rust embedded working group put together to get a sense of those of us working on Rust in embedded contexts. Please fill it out! The embedded working group is pushing a bunch of efforts and features that are super relevant to Tock, including safety around MMIO access, tooling and higher tier support for embedded architectures in the Rust compiler, code size, etc. Survey: https://www.surveyhero.com/c/uenp3ydt Rust blog post: https://blog.rust-lang.org/inside-rust/2024/08/22/embedded-wg-micro-survey.…

Aug. 23, 2024

Tock meeting agenda 2024-08-23

by Amit Levy

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - Working group updates - General - Progress on goals from TockWorld - Non-XIP Platforms - Tock registers - Automated driver implementation - Panic-free kernel - Multi-core - CHERI

Aug. 23, 2024

Call for Tock meeting agenda items 08/23

by Amit Levy

Please respond with agenda items and +1s for tomorrow's core call

Aug. 23, 2024