PRs

Tock

Update Rust: https://github.com/tock/tock/pull/3748
Component type: https://github.com/tock/tock/pull/3774
Component type: https://github.com/tock/tock/pull/3775
TicKV fix: https://github.com/tock/tock/pull/3776

libtock-c

New precompiled library mechanism: https://github.com/tock/libtock-c/pull/353

book and documentation

Update syscalls.md: https://github.com/tock/tock/pull/3777
Remove courses from tock repo: https://github.com/tock/tock/pull/3778
Move technical docs to book.tockos.org

Remove from tock repo: https://github.com/tock/tock/pull/3779
Move to book: https://github.com/tock/book/pull/23
Rendered: https://deploy-preview-23--tock-book.netlify.app/doc/

Update HOTP tutorial: https://github.com/tock/book/pull/24
Add TRDs to book: https://github.com/tock/book/pull/29

On Fri, Jan 12, 2024 at 3:00 AM Hudson Ayers <hudayers@gmail.com> wrote:

Please reply to this email with agenda items and +1s for tomorrow’s meeting _______________________________________________
Devel mailing list -- devel@lists.tockos.org
To unsubscribe send an email to devel-leave@lists.tockos.org