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

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