Call for Tock meeting agenda items 07/12
Please respond with agenda items and +1s for tomorrow's core call
libtock-rs PR 551: Raw 802.15.4 support <https://github.com/tock/libtock-rs/pull/551>: It is failing in CI because Miri is catching UB, and the author is having trouble understanding the cause of the UB. I suspect the design is unsound and probably not easy to fix -- and I commented that on the PR -- but I don't have the time needed to fix it (I'm not familiar with how these buffers are supposed to work or how they are supposed to be used). I'm anticipating an awful and drawn-out review experience for the PR author if we don't course correct now (especially as I leave for a 3 week vacation tomorrow afternoon), so I'm hoping to avoid that outcome. On Thu, Jul 11, 2024 at 11:32 AM Amit Levy <amit@amitlevy.com> wrote:
Please respond with agenda items and +1s for tomorrow's core call _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org
- https://github.com/tock/tock/pull/4028 - Addresses the general problem that an AppId assigner may need information from the app verifier to correctly assign AppIds/ShortIds. - Feedback from last week was it would be better if the "feedback" was a generic type T rather than a usize. I tried this but that type gets propagated to ProcessBinary which feels not worth it. - https://github.com/tock/tock/pull/4031 - Implements the storage permissions TRD. Provides kernels with much more flexibility on how storage permissions are assigned. - Recent changes: capabilities are now required to construct a storage permission. - https://github.com/tock/tock/pull/4075 - Use .cargo/config.toml to specify required build flags so that `cargo X` commands work. - Including hidden files that are necessary to build the central piece of software is a *contentious* issue. However, I think we have a workable solution with upside that outweighs the negatives. - However, `cargo test` does not work because we build core. Anyone know what to do about that? On Thu, Jul 11, 2024 at 2:38 PM Johnathan Van Why <jrvanwhy@google.com> wrote:
libtock-rs PR 551: Raw 802.15.4 support <https://github.com/tock/libtock-rs/pull/551>: It is failing in CI because Miri is catching UB, and the author is having trouble understanding the cause of the UB. I suspect the design is unsound and probably not easy to fix -- and I commented that on the PR -- but I don't have the time needed to fix it (I'm not familiar with how these buffers are supposed to work or how they are supposed to be used). I'm anticipating an awful and drawn-out review experience for the PR author if we don't course correct now (especially as I leave for a 3 week vacation tomorrow afternoon), so I'm hoping to avoid that outcome.
On Thu, Jul 11, 2024 at 11:32 AM Amit Levy <amit@amitlevy.com> wrote:
Please respond with agenda items and +1s for tomorrow's core call _______________________________________________ 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
participants (3)
-
Amit Levy -
Brad Campbell -
Johnathan Van Why