13 Apr
2022
13 Apr
'22
1:10 a.m.
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