On Thu, Feb 29, 2024 at 5:02 PM Amit Levy <amit@amitlevy.com> wrote:

- Working Group reorganization: https://lists.tockos.org/hyperkitty/list/devel@lists.tockos.org/thread/343BRZ3YLIAYOKCNMXIADXAGANM7QFI6/
- 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@virginia.edu> writes:

> - Kernel testing

+1

> - Static mut and updating nightly

+1

> On Thu, Feb 22, 2024 at 8:46 PM Branden Ghena <branden@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@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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPXODmDcv$>
>>> - 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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPa_58KR8$>
>>> - Trait to wrap capsule tests:
>>> https://github.com/tock/tock/pull/3871
>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3871__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPZN2i1RX$>.
>>> 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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPdyybPs5$>
>>> - 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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPWp1I5V4$>
>>> - https://github.com/tock/tock/pull/3859
>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3859__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPecrYZ77$>
>>> - https://github.com/tock/tock/pull/3843
>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3843__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPVZEZogu$>
>>> - https://github.com/tock/tock/pull/3869
>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3869__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPXy1QZIu$>
>>> - https://github.com/tock/tock/pull/3860
>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3860__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPebIEMI7$>
>>>
>>>
>>> On Fri, Feb 16, 2024 at 9:28 AM Brad Campbell <bradjc@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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPTxA_BIQ$>
>>>> - 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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPQMBJB8y$>
>>>> - https://github.com/tock/tock/pull/3836
>>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3836__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPbL4SnmM$>
>>>> - https://github.com/tock/tock/pull/3843
>>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3843__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPVZEZogu$>
>>>> - https://github.com/tock/tock/pull/3846
>>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3846__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPeQYtf4T$>
>>>> - 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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPQ5fBrFP$>
>>>> :(
>>>> - 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-folders/doc/guide.md__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPe5et89L$>
>>>> - 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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPXdSdoha$>
>>>>
>>>>
>>>> On Fri, Feb 9, 2024 at 9:21 AM Brad Campbell <bradjc@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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPbM3wGdZ$>
>>>>> - Signature HIL - https://github.com/tock/tock/pull/3772
>>>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3772__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPQ5fBrFP$>
>>>>> - 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@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__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPQ5fBrFP$>
>>>>>> - https://github.com/tock/tock/pull/3818
>>>>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3818__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPccEsIyO$>
>>>>>> - Remove a nightly feature
>>>>>> - https://github.com/tock/tock/pull/3803
>>>>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3803__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPdZ4ygaT$>
>>>>>> - Finalize Legal TRD
>>>>>> - https://github.com/tock/tock/pull/3821
>>>>>> <https://urldefense.com/v3/__https://github.com/tock/tock/pull/3821__;!!Dq0X2DkFhyF93HkjWTBQKhk!SnYmUYaP6QH-GX7aWWGDazGgte2YSJzjlEjfqUEd4damg_dRIG9LYkHoFxnJUxUNyOI8fW90VXFNEr-OPR6C90Ty$>
>>>>>>
>>>>>>
>>>>>> On Fri, Feb 2, 2024 at 11:07 AM Amit Levy <amit@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@lists.tockos.org
>>>>>>> To unsubscribe send an email to devel-leave@lists.tockos.org
>>>>>>>
>>>>>> _______________________________________________
>> Devel mailing list -- devel@lists.tockos.org
>> To unsubscribe send an email to devel-leave@lists.tockos.org
>>
> _______________________________________________
> Devel mailing list -- devel@lists.tockos.org
> To unsubscribe send an email to devel-leave@lists.tockos.org
_______________________________________________
Devel mailing list -- devel@lists.tockos.org
To unsubscribe send an email to devel-leave@lists.tockos.org