- Devel - lists.tockos.org

Re: Call for Tock Meeting Agenda Items

by Brad Campbell

PRs: - Signature credential checking: https://github.com/tock/tock/pull/3772 - tbf error type: https://github.com/tock/tock/pull/3793 - humidity templated type: https://github.com/tock/tock/pull/3807 AppID: - Separating ID assignment from credential checking: https://github.com/tock/tock/issues/3813 TockWorld: - Advertise on readme?: https://github.com/tock/tock/pull/3806 - "Contributor's Day"?: https://github.com/tock/world.tockos.org/pull/2 On Thu, Jan 25, 2024 at 9:54 AM Leon Schuermann <leon(a)is.currently.online> wrote: > Please reply with agenda items and +1s for tomorrows meeting > > I'd propose talking about the following PRs, in no particular order: > > - Use new exit syscall on process finish > https://github.com/tock/libtock-c/pull/246 > > - arch/rv32i: re-design PMP architecture & implement OpenTitan > EarlGrey-specific ePMP > https://github.com/tock/tock/pull/3597 > > - arch/cortex-m: hard_fault_handler: fix incorrect return to PSP stack > https://github.com/tock/tock/pull/3798 > > - wg: Add DOC Working Group > https://github.com/tock/tock/pull/3815 > > - Removed obsolete ProcessLoadError variants > https://github.com/tock/tock/pull/3805 > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Jan. 25, 2024

Call for Tock Meeting Agenda Items

by Leon Schuermann

Please reply with agenda items and +1s for tomorrows meeting I'd propose talking about the following PRs, in no particular order: - Use new exit syscall on process finish https://github.com/tock/libtock-c/pull/246 - arch/rv32i: re-design PMP architecture & implement OpenTitan EarlGrey-specific ePMP https://github.com/tock/tock/pull/3597 - arch/cortex-m: hard_fault_handler: fix incorrect return to PSP stack https://github.com/tock/tock/pull/3798 - wg: Add DOC Working Group https://github.com/tock/tock/pull/3815 - Removed obsolete ProcessLoadError variants https://github.com/tock/tock/pull/3805

Jan. 25, 2024

Re: Tock Meeting Agenda 1/19/24

by Hudson Ayers

Additional Items from Brad: - 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 Fri, Jan 19, 2024 at 9:04 AM Hudson Ayers <hudayers(a)gmail.com> wrote: > - Updates > - Stable Rust: should we pull the trigger? > - code size findings (Amit) > > Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b >

Jan. 19, 2024

Tock Meeting Agenda 1/19/24

by Hudson Ayers

- Updates - Stable Rust: should we pull the trigger? - code size findings (Amit) Link: https://meetings.dialpad.com/room/tock/1vnk9r3e1b

Jan. 19, 2024

Re: Call for Tock Meeting Agenda Items

by Brad Campbell

- 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(a)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(a)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(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org >> > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Jan. 19, 2024

Re: Call for Tock Meeting Agenda Items

by Branden Ghena

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(a)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(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Jan. 18, 2024

Call for Tock Meeting Agenda Items

by Amit Levy

Please reply with agenda items and +1s for tomorrows meeting One item to start us off: * Stable Rust: should we pull the trigger?

Jan. 18, 2024

Re: Call for Tock Meeting Agenda Items

by Brad Campbell

- 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(a)gmail.com> wrote: > Please reply to this email with agenda items and +1s for tomorrow’s > meeting _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org >

Jan. 12, 2024

Call for Tock Meeting Agenda Items

by Hudson Ayers

Please reply to this email with agenda items and +1s for tomorrow’s meeting

Jan. 12, 2024

Re: Call for Tock Meeting Agenda Items

by Amit Levy

The whys, whats, and hows of pre-compiled newlib and libc++: https://github.com/tock/libtock-c/pull/353 Alexandru Radovici <msg4alex(a)gmail.com> writes: > If there is time, I would like to add the tockloader-rs [1] subject to the call. George has been working for a while and has some design decisions to make. The questions are in the pull requests. > > I might not be able to stay during the whole call (office Christmas Party), but with you permission, I would like to invite George to the call. > > Best regards, > Alexandru > > [1] https://github.com/tock/tockloader-rs > >> On Dec 15, 2023, at 07:57, Hudson Ayers <hudayers(a)gmail.com> wrote: >> >> >> Please reply with agenda items and +1s for tomorrow's meeting >> _______________________________________________ >> Devel mailing list -- devel(a)lists.tockos.org >> To unsubscribe send an email to devel-leave(a)lists.tockos.org > _______________________________________________ > Devel mailing list -- devel(a)lists.tockos.org > To unsubscribe send an email to devel-leave(a)lists.tockos.org

Dec. 15, 2023