Re: [Qemu-devel] [PATCH 0/2] testing: Build WHPX enabled binaries

[Thomas Huth]

On 19/09/2019 12.59, Philippe Mathieu-Daudé wrote:
> Add a job to cross-build QEMU with WHPX enabled.
> 
> Use the Win10SDK headers from the Android Project, as commented
> in https://lists.gnu.org/archive/html/qemu-devel/2019-09/msg03842.html
> 
> Based-on: <address@hidden>
> https://lists.gnu.org/archive/html/qemu-devel/2019-09/msg03844.html
> 
> Philippe Mathieu-Daudé (2):
>   tests/docker: Add fedora-win10sdk-cross image
>   .shippable.yml: Build WHPX enabled binaries
> 
>  .shippable.yml                                |  2 ++
>  tests/docker/Makefile.include                 |  1 +
>  .../dockerfiles/fedora-win10sdk-cross.docker  | 21 +++++++++++++++++++
>  3 files changed, 24 insertions(+)
>  create mode 100644 tests/docker/dockerfiles/fedora-win10sdk-cross.docker

Don't you want to include a fix for the #include "hw/boards.h" problem
in your series? ... or is it not happening with your builds here?

 Thomas