Re: Call for Tock meeting agenda items
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
- 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 - Trait to wrap capsule tests: https://github.com/tock/tock/pull/3871. 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://github.com/tock/tock/issues/3841> - 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. 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
- Working Group reorganization: https://lists.tockos.org/hyperkitty/list/devel@lists.tockos.org/thread/343BR... - 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
- 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@amitlevy.com> wrote:
- Working Group reorganization: https://lists.tockos.org/hyperkitty/list/devel@lists.tockos.org/thread/343BR... - 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__;!!Dq0X2...
- 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://urldefense.com/v3/__https://github.com/tock/tock/pull/3873__;!!Dq0X2...
- Trait to wrap capsule tests: https://github.com/tock/tock/pull/3871 <
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3871__;!!Dq0X2... .
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__;!!Dq0...
- 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__;!!Dq0X2...
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3859__;!!Dq0X2...
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3843__;!!Dq0X2...
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3869__;!!Dq0X2...
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3860__;!!Dq0X2...
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://urldefense.com/v3/__https://github.com/tock/tock/pull/3849__;!!Dq0X2...
- 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__;!!Dq0X2...
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3836__;!!Dq0X2...
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3843__;!!Dq0X2...
https://urldefense.com/v3/__https://github.com/tock/tock/pull/3846__;!!Dq0X2...
- 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__;!!Dq0X2...
:( - 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-f...
- 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__;!!D...
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__;!!Dq0X2...
- Signature HIL - https://github.com/tock/tock/pull/3772 < https://urldefense.com/v3/__https://github.com/tock/tock/pull/3772__;!!Dq0X2...
- 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__;!!Dq0X2...
> - https://github.com/tock/tock/pull/3818 > < https://urldefense.com/v3/__https://github.com/tock/tock/pull/3818__;!!Dq0X2...
> - Remove a nightly feature > - https://github.com/tock/tock/pull/3803 > < https://urldefense.com/v3/__https://github.com/tock/tock/pull/3803__;!!Dq0X2...
> - Finalize Legal TRD > - https://github.com/tock/tock/pull/3821 > < https://urldefense.com/v3/__https://github.com/tock/tock/pull/3821__;!!Dq0X2...
> > > 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
participants (3)
-
Amit Levy -
Brad Campbell -
Branden Ghena