- PRs: - Signature credential checking: https://github.com/tock/tock/pull/3772 - Shared build.rs: https://github.com/tock/tock/pull/3782 - KV syscall doc: https://github.com/tock/tock/pull/3785 - subslice: fix calculation: https://github.com/tock/tock/pull/3791 - tbf footer return error: https://github.com/tock/tock/pull/3793 - Enable capsules to get ShortID: https://github.com/tock/tock/pull/3795 - Enable short ID calculation to use &Process: https://github.com/tock/tock/pull/3796 - Documentation: - Move kernel docs to book: https://github.com/tock/book/pull/23 - Update HOTP tutorial: https://github.com/tock/book/pull/24 - tickv: add stack diagram: https://github.com/tock/book/pull/25 - add component type instructions: https://github.com/tock/book/pull/27 - Add a chapter listing: https://github.com/tock/book/pull/28 - Add rendered TRDs: https://github.com/tock/book/pull/29 - Remove from tock repo: https://github.com/tock/tock/pull/3779 - AppID - Should errors be propagated? https://github.com/tock/tock/pull/3805 - Should apps without credentials be able to have a short ID? - How should developers specify known, fixed short ids? On Thu, Jan 18, 2024 at 4:39 PM Branden Ghena <branden@northwestern.edu> wrote:
Did we ever talk about your code size findings that you posted to Slack? https://tockos.slack.com/archives/CMK6R9XJT/p1703283749879049 That might be worth a discussion just so people are aware of it.
I thought I had brought it up before, but I think you weren't on the call. (actually if we can't be on the call tomorrow because of POSE stuff we might delay it again)
Thanks, Branden Ghena Northwestern University
On Thu, Jan 18, 2024 at 3:02 PM Amit Levy <amit@amitlevy.com> wrote:
Please reply with agenda items and +1s for tomorrows meeting
One item to start us off:
* Stable Rust: should we pull the trigger? _______________________________________________ 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