- Devel - lists.tockos.org

Call for Tock Meeting Agenda Items

by Hudson Ayers

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

March 29, 2024

Re: Call for Tock meeting agenda items

by Brad Campbell

- Move modules out of kernel: https://github.com/tock/tock/issues/3845 - Sign up for libtock-c updates: https://github.com/tock/libtock-c/pull/370 On Thu, Mar 21, 2024 at 10:56 PM Amit Levy <amit(a)amitlevy.com> wrote: > - Discuss and vote: remove the MacOS builder/tester in CI > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

March 22, 2024

Re: Call for Tock meeting agenda items

by Amit Levy

- Discuss and vote: remove the MacOS builder/tester in CI

March 22, 2024

Call for Tock meeting agenda items

by Amit Levy

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

March 22, 2024

Re: Call for Tock Meeting Agenda Items

by Amit Levy

More stale PRs: - https://github.com/tock/tock/pull/3068 - https://github.com/tock/tock/pull/3067 - https://github.com/tock/tock/pull/3112 - https://github.com/tock/tock/pull/3166 (not assigned) - https://github.com/tock/tock/pull/3246 (not assigned) - https://github.com/tock/tock/pull/3343 - https://github.com/tock/tock/pull/3445 There are more... Everything that is not blocked, waiting on author, or a draft is here: https://github.com/tock/tock/pulls?q=is%3Apr+is%3Aopen+draft%3Afalse+-label… Amit Levy <amit(a)amitlevy.com> writes: > - Code-size exploration update and request for feedback > > > For Tockbot (doubling down on Brad's question), I propose we assign > people immediately (currently it only assigns "stale" PRs I > believe). Let's vote on it. > >>> - review count requirement for assigned PRs > > I'll propose that we allow PRs from Core WG members to be merged with > one additional approval _by_ the approver (which should signal strong > confidence). Let's discuss why this is probably OK, why it might be > useful, and if there is agreement on _something_ I'll do a PR to the > relevant rules and that'll be that. > > Brad Campbell <bradjc(a)virginia.edu> writes: > >> To add: >> >> - https://github.com/tock/tock/pull/3849: Add an async process loader > > This just needs one more approver. I don't think there is anything to > discuss, though we can use the time for someone to to approve it. > >> - Documentation >> - https://github.com/tock/tock/pull/3907 >> - https://github.com/tock/tock/pull/3911 > > These are on queue to merge---for Documentation WG, we agreed that if a > member is the author (Brad in both of these cases), it only needs one > approval. > >> - >> >> >> On Fri, Mar 15, 2024 at 2:27 AM Hudson Ayers <hudayers(a)gmail.com> wrote: >> >>> Please reply with agenda items and +1s for tomorrow's meeting. >>> >>> I propose: >>> >>> - tockbot checkin: how do people feel about it so far? >>> >> >> I don't understand why it doesn't assign someone right after the PR is >> opened. >> >> >>> - review count requirement for assigned PRs >>> - Rundown of recent PRs waiting on their assignee: >>> - https://github.com/tock/tock/pull/3910 >>> - https://github.com/tock/tock/pull/3906 >>> _______________________________________________ >>> Devel mailing list -- devel(a)lists.tockos.org >>> To unsubscribe send an email to devel-leave(a)lists.tockos.org >>> >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org

March 15, 2024

Re: Call for Tock Meeting Agenda Items

by Amit Levy

- Code-size exploration update and request for feedback For Tockbot (doubling down on Brad's question), I propose we assign people immediately (currently it only assigns "stale" PRs I believe). Let's vote on it. >> - review count requirement for assigned PRs I'll propose that we allow PRs from Core WG members to be merged with one additional approval _by_ the approver (which should signal strong confidence). Let's discuss why this is probably OK, why it might be useful, and if there is agreement on _something_ I'll do a PR to the relevant rules and that'll be that. Brad Campbell <bradjc(a)virginia.edu> writes: > To add: > > - https://github.com/tock/tock/pull/3849: Add an async process loader This just needs one more approver. I don't think there is anything to discuss, though we can use the time for someone to to approve it. > - Documentation > - https://github.com/tock/tock/pull/3907 > - https://github.com/tock/tock/pull/3911 These are on queue to merge---for Documentation WG, we agreed that if a member is the author (Brad in both of these cases), it only needs one approval. > - > > > On Fri, Mar 15, 2024 at 2:27 AM Hudson Ayers <hudayers(a)gmail.com> wrote: > >> Please reply with agenda items and +1s for tomorrow's meeting. >> >> I propose: >> >> - tockbot checkin: how do people feel about it so far? >> > > I don't understand why it doesn't assign someone right after the PR is > opened. > > >> - review count requirement for assigned PRs >> - Rundown of recent PRs waiting on their assignee: >> - https://github.com/tock/tock/pull/3910 >> - https://github.com/tock/tock/pull/3906 >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org >> > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

March 15, 2024

Re: Call for Tock Meeting Agenda Items

by Brad Campbell

To add: - https://github.com/tock/tock/pull/3849: Add an async process loader - Documentation - https://github.com/tock/tock/pull/3907 - https://github.com/tock/tock/pull/3911 - On Fri, Mar 15, 2024 at 2:27 AM Hudson Ayers <hudayers(a)gmail.com> wrote: > Please reply with agenda items and +1s for tomorrow's meeting. > > I propose: > > - tockbot checkin: how do people feel about it so far? > I don't understand why it doesn't assign someone right after the PR is opened. > - review count requirement for assigned PRs > - Rundown of recent PRs waiting on their assignee: > - https://github.com/tock/tock/pull/3910 > - https://github.com/tock/tock/pull/3906 > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

March 15, 2024

Call for Tock Meeting Agenda Items

by Hudson Ayers

Please reply with agenda items and +1s for tomorrow's meeting. I propose: - tockbot checkin: how do people feel about it so far? - review count requirement for assigned PRs - Rundown of recent PRs waiting on their assignee: - https://github.com/tock/tock/pull/3910 - https://github.com/tock/tock/pull/3906

March 15, 2024

Tock meeting agenda 03/08

by Amit Levy

March 8th, 12pm Eastern / 9am Pacific / 6pm CET Join the meeting: https://meetings.dialpad.com/room/tock/1vnk9r3e1b - Updates - Working Groups - Other - Kernel testing: https://github.com/tock/tock/pull/3873 - Any new comments/thoughts? - Two names have been proposed: boards/configuration and boards/variant - Revive Flash HIL work? - libtock-c: u8g2 library: https://github.com/tock/libtock-c/pull/363 - Used for monochromatic screens - TBF header parsing in the kernel: https://github.com/tock/tock/pull/3902 - Issue: the `TbfHeader` object is 368 bytes which makes it hard to pass on the stack. - This PR does some TLV parsing on demand, so the entire structure is not stored in memory.

March 8, 2024

Re: Call for Tock meeting agenda items

by Brad Campbell

- Kernel testing: https://github.com/tock/tock/pull/3873 - Any new comments/thoughts? - Two names have been proposed: boards/configuration and boards/variant - libtock-c: u8g2 library: https://github.com/tock/libtock-c/pull/363 - Used for monochromatic screens - TBF header parsing in the kernel: https://github.com/tock/tock/pull/3902 - Issue: the `TbfHeader` object is 368 bytes which makes it hard to pass on the stack. - This PR does some TLV parsing on demand, so the entire structure is not stored in memory. - Brad On Thu, Feb 29, 2024 at 5:02 PM Amit Levy <amit(a)amitlevy.com> wrote: > - Working Group reorganization: > https://lists.tockos.org/hyperkitty/list/devel@lists.tockos.org/thread/343B… > - Please read in advance if you haven't already > - I estimate 10 minutes, max > > - Progress on Core WG assigned PRs > - I will generated a summary for this first time before the meeting > - Could replace/be part of updates. 5 minutes max. > - If there are particular discussion-worthy issues with assigned PRs, > please add as agenda item > > - To revive or not to revive updating the storage HILs (two stale PRs): > - https://github.com/tock/tock/pull/2248 > - https://github.com/tock/tock/pull/2993 > > Brad Campbell <bradjc(a)virginia.edu> writes: > > > - Kernel testing > > +1 > > > - Static mut and updating nightly > > +1 > > > On Thu, Feb 22, 2024 at 8:46 PM Branden Ghena <branden(a)northwestern.edu> > > wrote: > > > >> It would be good to at least discuss moving forward on > >> https://github.com/tock/tock/pull/3822 > >> * Do we want review assignments? (Yes from me) > >> * What are the minimal features for it to start with? (we could add > more > >> later) > >> > >> > >> On Thu, Feb 22, 2024 at 1:05 PM Brad Campbell <bradjc(a)virginia.edu> > wrote: > >> > >>> Topics I would like to discuss for this week: > >>> > >>> - Digest HIL updates https://github.com/tock/tock/pull/3866 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3866__;!!Dq0X… > > > >>> - Both digests and digest implementations are now strongly > >>> templated on a particular algorithm, rather than just the length > of the > >>> resulting digest. > >>> - This is motivated by being able to strongly type cryptographic > >>> signatures to a particular digest type. > >>> - Kernel testing > >>> - RFC: "Configuration" boards. These would be "mini" boards with > >>> enough functionality to test different configurations of the > Tock kernel. > >>> https://github.com/tock/tock/pull/3873 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3873__;!!Dq0X… > > > >>> - Trait to wrap capsule tests: > >>> https://github.com/tock/tock/pull/3871 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3871__;!!Dq0X… > >. > >>> This allows the test runner to learn when a test has finished, > since the > >>> test might run many async calls. > >>> - Static mut and updating nightly > >>> - We currently cannot compile the kernel on the latest nightly: > >>> https://github.com/tock/tock/issues/3841 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/issues/3841__;!!Dq… > > > >>> - We don't want to get stuck on an old version of rust, and it > >>> seems like rust wants us to tackle this problem now. > >>> - Is anyone willing to develop a "SyncCell" (or whatever the > >>> correct name is)? I propose we put a time bound on this, and use > the > >>> rust-suggested "fix" if we don't have anything better so we can > update > >>> nightly. > >>> - PRs > >>> - https://github.com/tock/tock/pull/3855 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3855__;!!Dq0X… > > > >>> - https://github.com/tock/tock/pull/3859 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3859__;!!Dq0X… > > > >>> - https://github.com/tock/tock/pull/3843 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3843__;!!Dq0X… > > > >>> - https://github.com/tock/tock/pull/3869 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3869__;!!Dq0X… > > > >>> - https://github.com/tock/tock/pull/3860 > >>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3860__;!!Dq0X… > > > >>> > >>> > >>> On Fri, Feb 16, 2024 at 9:28 AM Brad Campbell <bradjc(a)virginia.edu> > >>> wrote: > >>> > >>>> Unfortunately I have to leave at half past today. > >>>> > >>>> > >>>> - https://github.com/tock/tock/pull/3849 > >>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3849__;!!Dq0X… > > > >>>> - Async process loader > >>>> - How to get PRs commented on or merged? > >>>> - https://github.com/tock/tock/pull/3817 > >>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3817__;!!Dq0X… > > > >>>> - https://github.com/tock/tock/pull/3836 > >>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3836__;!!Dq0X… > > > >>>> - https://github.com/tock/tock/pull/3843 > >>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3843__;!!Dq0X… > > > >>>> - https://github.com/tock/tock/pull/3846 > >>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3846__;!!Dq0X… > > > >>>> - Looking for ideas here...do we need a new review process? All > >>>> core members are supposed to comment within 7 days. > >>>> - My forever quest to start supporting signed processes: > >>>> https://github.com/tock/tock/pull/3772 > >>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3772__;!!Dq0X… > > > >>>> :( > >>>> - libtock-c refactor proposal > >>>> - > >>>> > https://github.com/tock/libtock-c/blob/libtock-folders/doc/guide.md > >>>> < > https://urldefense.com/v3/__https://github.com/tock/libtock-c/blob/libtock-… > > > >>>> - libtock-c > >>>> - Don't compile extern libraries with -Werror: > >>>> https://github.com/tock/libtock-c/pull/368 > >>>> < > https://urldefense.com/v3/__https://github.com/tock/libtock-c/pull/368__;!!… > > > >>>> > >>>> > >>>> On Fri, Feb 9, 2024 at 9:21 AM Brad Campbell <bradjc(a)virginia.edu> > >>>> wrote: > >>>> > >>>>> Ideas for today: > >>>>> > >>>>> > >>>>> - Stable Rust - https://github.com/tock/tock/pull/3802 > >>>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3802__;!!Dq0X… > > > >>>>> - Signature HIL - https://github.com/tock/tock/pull/3772 > >>>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3772__;!!Dq0X… > > > >>>>> - libtock-c refresh - How to make it more user friendly? > >>>>> - What types of changes would make libtock-c easier to use? > >>>>> Where are the pain points? > >>>>> - Do we need yield-wait-for-x? > >>>>> - Should we copy some existing interface? > >>>>> - We probably aren't going to be able to do an entire rewrite, > >>>>> but are there manageable steps that would make a difference? > >>>>> > >>>>> > >>>>> On Fri, Feb 2, 2024 at 11:24 AM Brad Campbell <bradjc(a)virginia.edu> > >>>>> wrote: > >>>>> > >>>>>> > >>>>>> - Process Checking Infrastructure PRs > >>>>>> - https://github.com/tock/tock/pull/3772 > >>>>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3772__;!!Dq0X… > > > >>>>>> - https://github.com/tock/tock/pull/3818 > >>>>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3818__;!!Dq0X… > > > >>>>>> - Remove a nightly feature > >>>>>> - https://github.com/tock/tock/pull/3803 > >>>>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3803__;!!Dq0X… > > > >>>>>> - Finalize Legal TRD > >>>>>> - https://github.com/tock/tock/pull/3821 > >>>>>> < > https://urldefense.com/v3/__https://github.com/tock/tock/pull/3821__;!!Dq0X… > > > >>>>>> > >>>>>> > >>>>>> On Fri, Feb 2, 2024 at 11:07 AM Amit Levy <amit(a)amitlevy.com> > wrote: > >>>>>> > >>>>>>> Please reply with agenda items and +1s for today's meeting. > >>>>>>> > >>>>>>> Hudson is away today, so I'll be leading, hence the later than > usual > >>>>>>> request for agenda items. Luckily I think there are plenty. I > suggest at > >>>>>>> least: > >>>>>>> > >>>>>>> - Brad's suggestion for a new documentation working group (there is > >>>>>>> already approval for this, but we can maybe discuss whether/how to > support > >>>>>>> this kind of process more generally. could be very brief) > >>>>>>> _______________________________________________ > >>>>>>> Devel mailing list -- devel(a)lists.tockos.org > >>>>>>> To unsubscribe send an email to devel-leave(a)lists.tockos.org > >>>>>>> > >>>>>> _______________________________________________ > >> Devel mailing list -- devel(a)lists.tockos.org > >> To unsubscribe send an email to devel-leave(a)lists.tockos.org > >> > > _______________________________________________ > > Devel mailing list -- devel(a)lists.tockos.org > > To unsubscribe send an email to devel-leave(a)lists.tockos.org > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

March 7, 2024