On Dec 22, 2020, at 1:44 PM, Alexandre Oliva <ol...@adacore.com> wrote: > > In VxWorks 7, UINT32 is defined in both modes, kernel and rtp. Adjust > the work around accordingly. > > Regstrapped on x86_64-linux-gnu, and tested with -x-arm-wrs-vxworks7r2. > Ok to install?
Ok.