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
- 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
- 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
- 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
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 - Async process loader
- How to get PRs commented on or merged?
- https://github.com/tock/tock/pull/3817
- https://github.com/tock/tock/pull/3836
- https://github.com/tock/tock/pull/3843
- https://github.com/tock/tock/pull/3846
- 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 :(
- libtock-c refactor proposal
- libtock-c
- Don't compile extern libraries with -Werror: https://github.com/tock/libtock-c/pull/368
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
- Signature HIL - https://github.com/tock/tock/pull/3772
- 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
- Remove a nightly feature
- Finalize Legal TRD
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