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*discussio...>

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