1. 2018-05-03 [Qemu-discuss] configure fails with whpx enabled on m qemu-disc Dominique Fuchs 2. 2018-05-01 [Qemu-discuss] configure fails with whpx enabled on m qemu-disc Dominique Fuchs