[PATCH v2 0/3] testing: Build WHPX enabled binaries

["Philippe Mathieu-Daudé" <philmd@redhat.com>]

Add a job to cross-build QEMU with WHPX enabled.

Since the WHPX is currently broken, include the patch required to have
successful Shippable build.

I previously included the WHPX headers shared by the Android project,
and Daniel asked me to check the EULA. While trying to manually
install the Windows SDK, I noticed the installer fetches archives
directly, kindly asking where they are stored via the /fwlink API.
Do the same, fetch the required archives and extract them. No need
to accept EULA...

Docker build the image first, then build QEMU in a instance of this
image. The image is internal to Shippable, the instances are not
reachable and are thrown once the build is finished. What we collect
from Shippable is the console output of QEMU build process, and if
the build process succeed or failed. So far we do not redistribute
the image or built binaries.

Philippe Mathieu-Daudé (3):
  target/i386: Fix broken build with WHPX enabled
  tests/docker: Add fedora-win10sdk-cross image
  .shippable.yml: Build WHPX enabled binaries

 .shippable.yml                                |  2 ++
 target/i386/whpx-all.c                        |  1 +
 tests/docker/Makefile.include                 |  2 ++
 .../dockerfiles/fedora-win10sdk-cross.docker  | 23 ++++++++++++++++
 tests/docker/dockerfiles/win10sdk-dl.sh       | 27 +++++++++++++++++++
 5 files changed, 55 insertions(+)
 create mode 100644 tests/docker/dockerfiles/fedora-win10sdk-cross.docker
 create mode 100755 tests/docker/dockerfiles/win10sdk-dl.sh

-- 
2.20.1