September 2024 - Devel - lists.tockos.org

Tock meeting agenda 2024-09-27
by Amit Levy 27 Sep '24

27 Sep '24

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - PR status - Raw 802.15.4 support - what to do about it? - https://github.com/tock/libtock-rs/pull/551 * Needs someone knowledgeable about libtock-rs to look at it and review * What's the bar for merging self-contained changes in libtock-rs? - PIO - how should we handle programmable I/O bytecode? https://github.com/tock/tock/pull/4179 * Example: https://github.com/tock/tock/blob/5ad547c0998320b30b0b66ee7ff799dcb65f0f0e/… * Zephyr deals with this similarly: https://github.com/zephyrproject-rtos/zephyr/blob/main/drivers/serial/uart_…

1 0

Re: Tock meeting agenda 2024-09-27
by Branden Ghena 27 Sep '24

27 Sep '24

A couple of last-minute, low-priority items. Raw 802.15.4 support - what to do about it? https://github.com/tock/libtock-rs/pull/551 * Needs someone knowledgeable about libtock-rs to look at it and review (this can't all fall on Jonathan's lap) * What's the bar for merging self-contained changes in libtock-rs? PIO - how should we handle programmable I/O bytecode? https://github.com/tock/tock/pull/4179 * Example: https://github.com/tock/tock/blob/5ad547c0998320b30b0b66ee7ff799dcb65f0f0e/… * Zephyr deals with this similarly: https://github.com/zephyrproject-rtos/zephyr/blob/main/drivers/serial/uart_… Thanks, Branden Ghena Northwestern University On Thu, Sep 26, 2024 at 12:46 PM Amit Levy via Devel <devel(a)lists.tockos.org> wrote: > Please response with proposed agenda items and +1s for tomorrows core > meeting > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

1 0

Tock meeting agenda 2024-09-27
by Amit Levy 26 Sep '24

26 Sep '24

Please response with proposed agenda items and +1s for tomorrows core meeting

1 0

Tock meeting agenda 2024-09-20
by Amit Levy 20 Sep '24

20 Sep '24

Meeting Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b Agenda - Updates - VeeR EL2 PR check-in, readiness - https://github.com/tock/tock/pull/4118 - How to review and approach external x86 crate dependency in x86 PR - https://github.com/tock/tock/pull/4171#discussion_r1757119032 - Supporting different (older) compiler versions for CHERI - AKA, are `cfg`s ever acceptable?

1 0

Re: Call for Tock meeting agenda items 2024-09-20
by Branden Ghena 20 Sep '24

20 Sep '24

Quick check-in on https://github.com/tock/tock/pull/4118 I think it's good to merge (module one simple update from the PR author). But I want to check on CI error and more importantly what our bar is for a PR like this. On Fri, Sep 20, 2024 at 9:45 AM Brad Campbell via Devel < devel(a)lists.tockos.org> wrote: > Guidance for external x86 crate. > https://github.com/tock/tock/pull/4171#discussion_r1757119032 > <https://urldefense.com/v3/__https://github.com/tock/tock/pull/4171*discussi…> > > On Fri, Sep 20, 2024 at 2:02 AM Amit Levy via Devel < > devel(a)lists.tockos.org> wrote: > >> Handling different compiler versions upstream (e.g. for forked Rustc for >> CHERI) >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org >> >

1 0

Call for Tock meeting agenda items 2024-09-20
by Amit Levy 20 Sep '24

20 Sep '24

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

2 2

Call for Tock meeting agenda items 2024-09-13
by Amit Levy 13 Sep '24

13 Sep '24

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

1 1

Tock meeting agenda 2024-09-06
by Amit Levy 06 Sep '24

06 Sep '24

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

1 0

Call for Tock meeting agenda items 2024-09-06
by Amit Levy 05 Sep '24

05 Sep '24

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

1 0