- 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