On Wed, Aug 3, 2022 at 4:57 AM Sam Leffler via Devel
A clean upstream checkout fails to build w/ gcc 11.2 because of the section mismatch.
The commit msg says it's #ifdef'd clang to avoid impacting verification. But w/ the 11.2 gcc toolchain it doesn't compile as-is so my question is whether I'm missing some other change that addresses this or if I'm at the bleeding edge toolchain and we need a narrower #ifdef or similar. I can always keep a local change but at some point I'll want to sync w upstream and have to deal with this.
Guess I need to pull a clean checkout and see whether it compiles w/ gcc 11.2.
Thanks for bringing this up, there isn't any existing patch for this yet as you are the first to report the compiler error.
-Sam
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems