On Tue, Mar 22, 2022 at 6:17 PM Roderick Chapman
On 22/03/2022 04:50, Kent Mcleod wrote:
The memalign definition provided by musl is a weak symbol and would be overridden by any stronger definition encountered in sources such as from U-Boot.
Good grief!
Is there a linker warning that complains about that sort of overriding?
I'm not aware of one. If you add `-Wl,-M` to the CMake `target_link_libraries` command then the linker will print out a mapping file which contains which object file each symbol comes from. This may be enough to confirm whether symbols are getting replaced unexpectedly.
- Rod
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems