seL4_libs Enable building with lld

Enable building with lld

Open heshamelmatary opened this issue 1 year ago • 2 comments

Jul 31 '23 14:07 heshamelmatary

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.

Nov 23 '23 23:11 axel-h

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

Jan 16 '24 11:01 heshamelmatary