On Dec 22, 2020, at 1:43 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > Linking in vxworks kernel-mode is partial linking, so missing symbols > are not detected. > > Regstrapped on x86_64-linux-gnu, and tested with -x-arm-wrs-vxworks7r2. > Ok to install?
Ok. Generally nicer to bunch all like ones ("partial link" for example) together.