search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

Enable building with lld #75

Open heshamelmatary opened 11 months ago

axel-h commented 7 months ago

Could you rebase this and have a look into the CI issues. Unfortunately, the logs have been deleted, so I can't see why RV32 complains about.

heshamelmatary commented 5 months ago

Could you rebase this and have a look into the CI issues. Unfortunately, the logs have been deleted, so I can't see why RV32 complains about.

Lost track of this PR, I have now rebased and made a minor change not to fail on GCC versions that don't support retain attribute