This turns out to be a problem with the new version of the linker/assembler in binutils 2.38. Backup up one version to 2.37 resolved the problem. Apparently there are extensions that need added to the new 2.38 version of as/ld.
Yes, this is a known issue, see https://github.com/seL4/seL4/issues/749 Mainline already has a fix for this, see https://github.com/seL4/seL4/pull/776 Axel _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
