On Wed, Aug 3, 2022 at 4:57 AM Sam Leffler via Devel <devel@sel4.systems> wrote: > > 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
