Re: Call for Tock meeting agenda items 2024-09-20
Quick check-in on https://github.com/tock/tock/pull/4118 I think it's good to merge (module one simple update from the PR author). But I want to check on CI error and more importantly what our bar is for a PR like this. On Fri, Sep 20, 2024 at 9:45 AM Brad Campbell via Devel < devel@lists.tockos.org> wrote:
Guidance for external x86 crate. https://github.com/tock/tock/pull/4171#discussion_r1757119032 <https://urldefense.com/v3/__https://github.com/tock/tock/pull/4171*discussion_r1757119032__;Iw!!Dq0X2DkFhyF93HkjWTBQKhk!W6VYKIDkGINaIMW6v1aPOnsyJM5fl2uOkKsb_xCE8RqAGq-BWn7Vo1T5gSyCPIQVoZak2B3k3iE4D82J9Z9D9Gw$>
On Fri, Sep 20, 2024 at 2:02 AM Amit Levy via Devel < devel@lists.tockos.org> wrote:
Handling different compiler versions upstream (e.g. for forked Rustc for CHERI) _______________________________________________ Devel mailing list -- devel@lists.tockos.org To unsubscribe send an email to devel-leave@lists.tockos.org
participants (1)
-
Branden Ghena