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
• https://github.com/tock/tock/pull/3772
  
• https://github.com/tock/tock/pull/3818
  
• Remove a nightly feature
• https://github.com/tock/tock/pull/3803
  
• Finalize Legal TRD
• https://github.com/tock/tock/pull/3821
  

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