An ugly work-around to pass the test on armv6l (e.g. Raspberry PI Zero targeting the softfp floating-point ABI). Signed-off-by: Philippe Gerum <rpm@xenomai.org>
See https://evlproject.org/overview/
See https://evlproject.org/core/build-steps/