September 2024 - Devel - lists.tockos.org

Tock meeting agenda 2024-09-27

by Amit Levy

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_…

Sept. 27, 2024

Re: Tock meeting agenda 2024-09-27

by Branden Ghena

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 >

Sept. 27, 2024

Tock meeting agenda 2024-09-27

by Amit Levy

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

Sept. 26, 2024

Tock meeting agenda 2024-09-20

by Amit Levy

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?

Sept. 20, 2024

Re: Call for Tock meeting agenda items 2024-09-20

by Branden Ghena

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 >> >

Sept. 20, 2024

Re: Call for Tock meeting agenda items 2024-09-20

by Brad Campbell

Guidance for external x86 crate. https://github.com/tock/tock/pull/4171#discussion_r1757119032 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 >

Sept. 20, 2024

Re: Call for Tock meeting agenda items 2024-09-20

by Amit Levy

Handling different compiler versions upstream (e.g. for forked Rustc for CHERI)

Sept. 20, 2024

Call for Tock meeting agenda items 2024-09-20

by Amit Levy

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

Sept. 20, 2024

Re: Call for Tock meeting agenda items 2024-09-13

by Amit Levy

In lieu of suggested agenda items, and since several people can't make it today, we'll skip this week.

Sept. 13, 2024

Call for Tock meeting agenda items 2024-09-13

by Amit Levy

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

Sept. 12, 2024