From nobody Tue Feb 10 15:45:32 2026 Delivered-To: importer@patchew.org Authentication-Results: mx.zohomail.com; dkim=fail; spf=none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=fail(p=none dis=none) header.from=citrix.com ARC-Seal: i=1; a=rsa-sha256; t=1571850734; cv=none; d=zoho.com; s=zohoarc; b=TBzNuGKL2V6QUEn385BBZj+UNY7BUJKihNPW9gMMMo088m6xlL3bGDEWT+LZyhxxAQVFmM1tpmMGPaIuWaCYUP+IicqRBftOOnnBZM3uXUM4+j41tsXEdNhpo3oNu+EpXfMBPzQgvcb7fWjcUVX1aXPe4vHPrR7Lcw9XdpE+hU0= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1571850734; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:List-Subscribe:List-Post:List-Id:List-Help:List-Unsubscribe:MIME-Version:Message-ID:References:Sender:Subject:To; bh=U+zV1OCy23Ghs4rzgCJVcob1fdEX1B+Zz4F9MhokRQE=; b=dID359TUmO6uJkkHBgLz1ROnI0gu5pL4Fp1E+NJUDLZ3VazBrcbyFvf7EPwbKcgw8KUJEGeKDqQQPU9Wo4CrzRKhE4U4zckZkPtqlAg74NQnWc/jWOh9/YlCbMROrBHWEi3eLrVUzlO6fe9ttwyLUCMDhkQfrqTzLqX9UD5mkO8= ARC-Authentication-Results: i=1; mx.zoho.com; dkim=fail; spf=none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) smtp.mailfrom=xen-devel-bounces@lists.xenproject.org; dmarc=fail header.from= (p=none dis=none) header.from= Return-Path: Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) by mx.zohomail.com with SMTPS id 1571850734427693.2850649901777; Wed, 23 Oct 2019 10:12:14 -0700 (PDT) Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1iNKAD-00030X-6D; Wed, 23 Oct 2019 17:11:13 +0000 Received: from us1-rack-iad1.inumbo.com ([172.99.69.81]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1iNKAB-0002zM-KI for xen-devel@lists.xenproject.org; Wed, 23 Oct 2019 17:11:11 +0000 Received: from esa1.hc3370-68.iphmx.com (unknown [216.71.145.142]) by us1-rack-iad1.inumbo.com (Halon) with ESMTPS id 18993b60-f5b8-11e9-bbab-bc764e2007e4; Wed, 23 Oct 2019 17:11:05 +0000 (UTC) X-Inumbo-ID: 18993b60-f5b8-11e9-bbab-bc764e2007e4 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=citrix.com; s=securemail; t=1571850666; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=4H2b7k5wmb+lFuniuqv3msRKI8CBEGAGNAtixDHFl7A=; b=fu8cfUKNJG4kLU9v0FdgVlIgdO6F4oq78Qd47MU/JJd3vjg2oSb60Eqm QhkvGZ/lMf8eZgHQbf7cZfjWBrZyiB2w5FCM6876B+qdPFPeMBGCoV2WA hI5bVtNUc1PGYU5yn5SLv2XA250zkoiAqM+V6xKzTVqPTMDF2X87JE6Ck E=; Authentication-Results: esa1.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none; spf=None smtp.pra=anthony.perard@citrix.com; spf=Pass smtp.mailfrom=anthony.perard@citrix.com; spf=None smtp.helo=postmaster@mail.citrix.com Received-SPF: none (zoho.com: 192.237.175.120 is neither permitted nor denied by domain of lists.xenproject.org) client-ip=192.237.175.120; envelope-from=xen-devel-bounces@lists.xenproject.org; helo=lists.xenproject.org; Received-SPF: None (esa1.hc3370-68.iphmx.com: no sender authenticity information available from domain of anthony.perard@citrix.com) identity=pra; client-ip=162.221.158.21; receiver=esa1.hc3370-68.iphmx.com; envelope-from="anthony.perard@citrix.com"; x-sender="anthony.perard@citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa1.hc3370-68.iphmx.com: domain of anthony.perard@citrix.com designates 162.221.158.21 as permitted sender) identity=mailfrom; client-ip=162.221.158.21; receiver=esa1.hc3370-68.iphmx.com; envelope-from="anthony.perard@citrix.com"; x-sender="anthony.perard@citrix.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:209.167.231.154 ip4:178.63.86.133 ip4:195.66.111.40/30 ip4:85.115.9.32/28 ip4:199.102.83.4 ip4:192.28.146.160 ip4:192.28.146.107 ip4:216.52.6.88 ip4:216.52.6.188 ip4:162.221.158.21 ip4:162.221.156.83 ip4:168.245.78.127 ~all" Received-SPF: None (esa1.hc3370-68.iphmx.com: no sender authenticity information available from domain of postmaster@mail.citrix.com) identity=helo; client-ip=162.221.158.21; receiver=esa1.hc3370-68.iphmx.com; envelope-from="anthony.perard@citrix.com"; x-sender="postmaster@mail.citrix.com"; x-conformance=sidf_compatible IronPort-SDR: 1AYaBcrvx93FbRej3cEJ+12E9KAwnQ0gF+FJ2qUCkZL3ArSltnfbsAfU3IN4aPzlKRq424toCF Cnn9+EoOXaLC2+cmM9TEGkF/usR4CreeIlFuWoEH8cirIgvOoIUONYxtJDlwvGpsfP7cOgzStK btISv+TnjmJmasdazZNlnIaAbn1VTj9v7cZnuDFPTkbnxBu5coBvZjawZ7vtbRUx/gVsBqpWfu n2UnsoNHUgYOP5bu0adNREfPfqbEmRUfrpEG9tWEGAlxiavJeqQx7KdYaV57eDCIrJaM4TaFUQ njQ= X-SBRS: 2.7 X-MesageID: 7429249 X-Ironport-Server: esa1.hc3370-68.iphmx.com X-Remote-IP: 162.221.158.21 X-Policy: $RELAYED X-IronPort-AV: E=Sophos;i="5.68,221,1569297600"; d="scan'208";a="7429249" From: Anthony PERARD To: Date: Wed, 23 Oct 2019 17:48:25 +0100 Message-ID: <20191023164837.2700240-12-anthony.perard@citrix.com> X-Mailer: git-send-email 2.23.0 In-Reply-To: <20191023164837.2700240-1-anthony.perard@citrix.com> References: <20191023164837.2700240-1-anthony.perard@citrix.com> MIME-Version: 1.0 Subject: [Xen-devel] [RFC XEN PATCH 11/23] First conversion to kbuild makefiles X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Cc: Anthony PERARD Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" X-ZohoMail-DKIM: fail (Header signature does not verify) Kbuild uses obj-y=3Dsubdir/ instead of subdir-y=3Dsubdir Adding CFLAGS in a specific subdirectory is done via ccflags-y instead of CFLAGS. Done with sed: sed -i -r 's#^subdir-(.*)#obj-\1/#; s#^CFLAGS #ccflags-y #' **/*/Makefi= le --- xen/arch/arm/Makefile | 14 +++++++------- xen/arch/arm/arm32/Makefile | 2 +- xen/arch/arm/arm64/Makefile | 2 +- xen/arch/arm/efi/Makefile | 2 +- xen/arch/x86/Makefile | 18 +++++++++--------- xen/arch/x86/acpi/Makefile | 2 +- xen/arch/x86/cpu/Makefile | 4 ++-- xen/arch/x86/efi/Makefile | 2 +- xen/arch/x86/hvm/Makefile | 6 +++--- xen/arch/x86/mm/Makefile | 4 ++-- xen/arch/x86/x86_64/Makefile | 2 +- xen/common/Makefile | 8 ++++---- xen/common/libelf/Makefile | 2 +- xen/common/libfdt/Makefile | 2 +- xen/drivers/Makefile | 14 +++++++------- xen/drivers/acpi/Makefile | 6 +++--- xen/drivers/passthrough/Makefile | 8 ++++---- xen/drivers/passthrough/vtd/Makefile | 2 +- xen/lib/Makefile | 2 +- xen/xsm/Makefile | 2 +- xen/xsm/flask/Makefile | 4 ++-- xen/xsm/flask/ss/Makefile | 2 +- 22 files changed, 55 insertions(+), 55 deletions(-) diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile index 70f532e42a06..1044c2298a05 100644 --- a/xen/arch/arm/Makefile +++ b/xen/arch/arm/Makefile @@ -1,11 +1,11 @@ -subdir-$(CONFIG_ARM_32) +=3D arm32 -subdir-$(CONFIG_ARM_64) +=3D arm64 -subdir-$(CONFIG_ARM_64) +=3D efi -subdir-$(CONFIG_ACPI) +=3D acpi +obj-$(CONFIG_ARM_32) +=3D arm32/ +obj-$(CONFIG_ARM_64) +=3D arm64/ +obj-$(CONFIG_ARM_64) +=3D efi/ +obj-$(CONFIG_ACPI) +=3D acpi/ ifneq ($(CONFIG_NO_PLAT),y) -subdir-y +=3D platforms +obj-y +=3D platforms/ endif -subdir-$(CONFIG_TEE) +=3D tee +obj-$(CONFIG_TEE) +=3D tee/ =20 obj-$(CONFIG_HAS_ALTERNATIVE) +=3D alternative.o obj-y +=3D bootfdt.init.o @@ -48,7 +48,7 @@ obj-y +=3D sysctl.o obj-y +=3D time.o obj-y +=3D traps.o obj-y +=3D vcpreg.o -subdir-$(CONFIG_NEW_VGIC) +=3D vgic +obj-$(CONFIG_NEW_VGIC) +=3D vgic/ ifneq ($(CONFIG_NEW_VGIC),y) obj-y +=3D gic-vgic.o obj-y +=3D vgic.o diff --git a/xen/arch/arm/arm32/Makefile b/xen/arch/arm/arm32/Makefile index 0ac254f34714..539bbef298a7 100644 --- a/xen/arch/arm/arm32/Makefile +++ b/xen/arch/arm/arm32/Makefile @@ -1,4 +1,4 @@ -subdir-y +=3D lib +obj-y +=3D lib/ =20 obj-$(EARLY_PRINTK) +=3D debug.o obj-y +=3D domctl.o diff --git a/xen/arch/arm/arm64/Makefile b/xen/arch/arm/arm64/Makefile index c4f3a28a0d0b..db8565b71a33 100644 --- a/xen/arch/arm/arm64/Makefile +++ b/xen/arch/arm/arm64/Makefile @@ -1,4 +1,4 @@ -subdir-y +=3D lib +obj-y +=3D lib/ =20 obj-y +=3D cache.o obj-$(CONFIG_HARDEN_BRANCH_PREDICTOR) +=3D bpi.o diff --git a/xen/arch/arm/efi/Makefile b/xen/arch/arm/efi/Makefile index d34c9168914a..e4aaba3e074b 100644 --- a/xen/arch/arm/efi/Makefile +++ b/xen/arch/arm/efi/Makefile @@ -1,4 +1,4 @@ -CFLAGS +=3D -fshort-wchar +ccflags-y +=3D -fshort-wchar =20 obj-y +=3D boot.init.o runtime.o obj-$(CONFIG_ACPI) +=3D efi-dom0.init.o diff --git a/xen/arch/x86/Makefile b/xen/arch/x86/Makefile index af6c83dfbae6..864a0669bc9f 100644 --- a/xen/arch/x86/Makefile +++ b/xen/arch/x86/Makefile @@ -1,12 +1,12 @@ -subdir-y +=3D acpi -subdir-y +=3D cpu -subdir-y +=3D genapic -subdir-$(CONFIG_XEN_GUEST) +=3D guest -subdir-$(CONFIG_HVM) +=3D hvm -subdir-y +=3D mm -subdir-$(CONFIG_XENOPROF) +=3D oprofile -subdir-$(CONFIG_PV) +=3D pv -subdir-y +=3D x86_64 +obj-y +=3D acpi/ +obj-y +=3D cpu/ +obj-y +=3D genapic/ +obj-$(CONFIG_XEN_GUEST) +=3D guest/ +obj-$(CONFIG_HVM) +=3D hvm/ +obj-y +=3D mm/ +obj-$(CONFIG_XENOPROF) +=3D oprofile/ +obj-$(CONFIG_PV) +=3D pv/ +obj-y +=3D x86_64/ =20 alternative-y :=3D alternative.init.o alternative-$(CONFIG_LIVEPATCH) :=3D diff --git a/xen/arch/x86/acpi/Makefile b/xen/arch/x86/acpi/Makefile index 27b4aa30b0ca..1b9e62571301 100644 --- a/xen/arch/x86/acpi/Makefile +++ b/xen/arch/x86/acpi/Makefile @@ -1,4 +1,4 @@ -subdir-y +=3D cpufreq +obj-y +=3D cpufreq/ =20 obj-y +=3D lib.o power.o suspend.o cpu_idle.o cpuidle_menu.o obj-bin-y +=3D boot.init.o wakeup_prot.o diff --git a/xen/arch/x86/cpu/Makefile b/xen/arch/x86/cpu/Makefile index 466acc8b10e5..de983006a1b1 100644 --- a/xen/arch/x86/cpu/Makefile +++ b/xen/arch/x86/cpu/Makefile @@ -1,5 +1,5 @@ -subdir-y +=3D mcheck -subdir-y +=3D mtrr +obj-y +=3D mcheck/ +obj-y +=3D mtrr/ =20 obj-y +=3D amd.o obj-y +=3D centaur.o diff --git a/xen/arch/x86/efi/Makefile b/xen/arch/x86/efi/Makefile index 4bc0a196e9ca..2cbb3de3a8ab 100644 --- a/xen/arch/x86/efi/Makefile +++ b/xen/arch/x86/efi/Makefile @@ -1,4 +1,4 @@ -CFLAGS +=3D -fshort-wchar +ccflags-y +=3D -fshort-wchar =20 %.o: %.ihex $(OBJCOPY) -I ihex -O binary $< $@ diff --git a/xen/arch/x86/hvm/Makefile b/xen/arch/x86/hvm/Makefile index 43e5f3a21f8b..346419154460 100644 --- a/xen/arch/x86/hvm/Makefile +++ b/xen/arch/x86/hvm/Makefile @@ -1,6 +1,6 @@ -subdir-y +=3D svm -subdir-y +=3D vmx -subdir-y +=3D viridian +obj-y +=3D svm/ +obj-y +=3D vmx/ +obj-y +=3D viridian/ =20 obj-y +=3D asid.o obj-y +=3D dm.o diff --git a/xen/arch/x86/mm/Makefile b/xen/arch/x86/mm/Makefile index 5010a29d6cb0..d87dc0aa6eeb 100644 --- a/xen/arch/x86/mm/Makefile +++ b/xen/arch/x86/mm/Makefile @@ -1,5 +1,5 @@ -subdir-y +=3D shadow -subdir-$(CONFIG_HVM) +=3D hap +obj-y +=3D shadow/ +obj-$(CONFIG_HVM) +=3D hap/ =20 obj-$(CONFIG_HVM) +=3D altp2m.o obj-$(CONFIG_HVM) +=3D guest_walk_2.o guest_walk_3.o guest_walk_4.o diff --git a/xen/arch/x86/x86_64/Makefile b/xen/arch/x86/x86_64/Makefile index 4bfa1480eb7e..2bb1eb0a8131 100644 --- a/xen/arch/x86/x86_64/Makefile +++ b/xen/arch/x86/x86_64/Makefile @@ -1,4 +1,4 @@ -subdir-$(CONFIG_PV) +=3D compat +obj-$(CONFIG_PV) +=3D compat/ =20 obj-bin-y +=3D entry.o obj-y +=3D traps.o diff --git a/xen/common/Makefile b/xen/common/Makefile index 62b34e69e95c..d4db0a6d466a 100644 --- a/xen/common/Makefile +++ b/xen/common/Makefile @@ -73,8 +73,8 @@ obj-$(CONFIG_COMPAT) +=3D $(addprefix compat/,domain.o ke= rnel.o memory.o multicall =20 extra-y :=3D symbols-dummy.o =20 -subdir-$(CONFIG_COVERAGE) +=3D coverage -subdir-$(CONFIG_UBSAN) +=3D ubsan +obj-$(CONFIG_COVERAGE) +=3D coverage/ +obj-$(CONFIG_UBSAN) +=3D ubsan/ =20 -subdir-$(CONFIG_NEEDS_LIBELF) +=3D libelf -subdir-$(CONFIG_HAS_DEVICE_TREE) +=3D libfdt +obj-$(CONFIG_NEEDS_LIBELF) +=3D libelf/ +obj-$(CONFIG_HAS_DEVICE_TREE) +=3D libfdt/ diff --git a/xen/common/libelf/Makefile b/xen/common/libelf/Makefile index 3d9e38f27e65..9a433f01fbd4 100644 --- a/xen/common/libelf/Makefile +++ b/xen/common/libelf/Makefile @@ -3,7 +3,7 @@ nocov-y +=3D libelf.o =20 SECTIONS :=3D text data $(SPECIAL_DATA_SECTIONS) =20 -CFLAGS +=3D -Wno-pointer-sign +ccflags-y +=3D -Wno-pointer-sign =20 libelf.o: libelf-temp.o Makefile $(OBJCOPY) $(foreach s,$(SECTIONS),--rename-section .$(s)=3D.init.$(s)) $= < $@ diff --git a/xen/common/libfdt/Makefile b/xen/common/libfdt/Makefile index c075bbf5462a..9ea5c696d52a 100644 --- a/xen/common/libfdt/Makefile +++ b/xen/common/libfdt/Makefile @@ -5,7 +5,7 @@ SECTIONS :=3D text data $(SPECIAL_DATA_SECTIONS) obj-y +=3D libfdt.o nocov-y +=3D libfdt.o =20 -CFLAGS +=3D -I$(BASEDIR)/include/xen/libfdt/ +ccflags-y +=3D -I$(BASEDIR)/include/xen/libfdt/ =20 libfdt.o: libfdt-temp.o Makefile $(OBJCOPY) $(foreach s,$(SECTIONS),--rename-section .$(s)=3D.init.$(s)) $= < $@ diff --git a/xen/drivers/Makefile b/xen/drivers/Makefile index 30bab3cfdb36..2a1ae8ad130a 100644 --- a/xen/drivers/Makefile +++ b/xen/drivers/Makefile @@ -1,7 +1,7 @@ -subdir-y +=3D char -subdir-$(CONFIG_HAS_CPUFREQ) +=3D cpufreq -subdir-$(CONFIG_HAS_PCI) +=3D pci -subdir-$(CONFIG_HAS_VPCI) +=3D vpci -subdir-$(CONFIG_HAS_PASSTHROUGH) +=3D passthrough -subdir-$(CONFIG_ACPI) +=3D acpi -subdir-$(CONFIG_VIDEO) +=3D video +obj-y +=3D char/ +obj-$(CONFIG_HAS_CPUFREQ) +=3D cpufreq/ +obj-$(CONFIG_HAS_PCI) +=3D pci/ +obj-$(CONFIG_HAS_VPCI) +=3D vpci/ +obj-$(CONFIG_HAS_PASSTHROUGH) +=3D passthrough/ +obj-$(CONFIG_ACPI) +=3D acpi/ +obj-$(CONFIG_VIDEO) +=3D video/ diff --git a/xen/drivers/acpi/Makefile b/xen/drivers/acpi/Makefile index 444b11d5839d..4f8e97228ee2 100644 --- a/xen/drivers/acpi/Makefile +++ b/xen/drivers/acpi/Makefile @@ -1,6 +1,6 @@ -subdir-y +=3D tables -subdir-y +=3D utilities -subdir-$(CONFIG_X86) +=3D apei +obj-y +=3D tables/ +obj-y +=3D utilities/ +obj-$(CONFIG_X86) +=3D apei/ =20 obj-bin-y +=3D tables.init.o obj-$(CONFIG_NUMA) +=3D numa.o diff --git a/xen/drivers/passthrough/Makefile b/xen/drivers/passthrough/Mak= efile index d50ab188c83c..e973e16c7484 100644 --- a/xen/drivers/passthrough/Makefile +++ b/xen/drivers/passthrough/Makefile @@ -1,7 +1,7 @@ -subdir-$(CONFIG_X86) +=3D vtd -subdir-$(CONFIG_X86) +=3D amd -subdir-$(CONFIG_X86) +=3D x86 -subdir-$(CONFIG_ARM) +=3D arm +obj-$(CONFIG_X86) +=3D vtd/ +obj-$(CONFIG_X86) +=3D amd/ +obj-$(CONFIG_X86) +=3D x86/ +obj-$(CONFIG_ARM) +=3D arm/ =20 obj-y +=3D iommu.o obj-$(CONFIG_HAS_PCI) +=3D pci.o diff --git a/xen/drivers/passthrough/vtd/Makefile b/xen/drivers/passthrough= /vtd/Makefile index f302653858a0..fde7555fac07 100644 --- a/xen/drivers/passthrough/vtd/Makefile +++ b/xen/drivers/passthrough/vtd/Makefile @@ -1,4 +1,4 @@ -subdir-$(CONFIG_X86) +=3D x86 +obj-$(CONFIG_X86) +=3D x86/ =20 obj-y +=3D iommu.o obj-y +=3D dmar.o diff --git a/xen/lib/Makefile b/xen/lib/Makefile index dcdb75931378..7019ca00e8fd 100644 --- a/xen/lib/Makefile +++ b/xen/lib/Makefile @@ -1 +1 @@ -subdir-$(CONFIG_X86) +=3D x86 +obj-$(CONFIG_X86) +=3D x86/ diff --git a/xen/xsm/Makefile b/xen/xsm/Makefile index e4d581e065f8..cf0a728f1c96 100644 --- a/xen/xsm/Makefile +++ b/xen/xsm/Makefile @@ -3,4 +3,4 @@ obj-$(CONFIG_XSM) +=3D xsm_policy.o obj-$(CONFIG_XSM) +=3D dummy.o obj-$(CONFIG_XSM_SILO) +=3D silo.o =20 -subdir-$(CONFIG_XSM_FLASK) +=3D flask +obj-$(CONFIG_XSM_FLASK) +=3D flask/ diff --git a/xen/xsm/flask/Makefile b/xen/xsm/flask/Makefile index f5ffab12268c..b1fd96a6ccec 100644 --- a/xen/xsm/flask/Makefile +++ b/xen/xsm/flask/Makefile @@ -2,9 +2,9 @@ obj-y +=3D avc.o obj-y +=3D hooks.o obj-y +=3D flask_op.o =20 -subdir-y +=3D ss +obj-y +=3D ss/ =20 -CFLAGS +=3D -I./include +ccflags-y +=3D -I./include =20 AWK =3D awk =20 diff --git a/xen/xsm/flask/ss/Makefile b/xen/xsm/flask/ss/Makefile index 046ce8f53326..30f910a9c9c1 100644 --- a/xen/xsm/flask/ss/Makefile +++ b/xen/xsm/flask/ss/Makefile @@ -8,4 +8,4 @@ obj-y +=3D services.o obj-y +=3D conditional.o obj-y +=3D mls.o =20 -CFLAGS +=3D -I../include +ccflags-y +=3D -I../include --=20 Anthony PERARD _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel