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 - https://github.com/tock/libtock-c/blob/libtock-folders/doc/guide.md - 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 - 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