On Dec 22, 2020, at 1:40 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > The vxworks kernel-mode linking is partial linking, so it cannot > detect missing symbols. > > Regstrapped on x86_64-linux-gnu, and tested with -x-arm-wrs-vxworks7r2. > Ok to install?
Ok.