Re: [Qemu-devel] [PATCH RFC 0/6] target-arm: KVM64: Cross type vCPU support
Hi, Your series seems to have some coding style problems. See output below for more information: Type: series Message-id: 1484558821-15512-1-git-send-email-zhaoshengl...@huawei.com Subject: [Qemu-devel] [PATCH RFC 0/6] target-arm: KVM64: Cross type vCPU support === TEST SCRIPT BEGIN === #!/bin/bash BASE=base n=1 total=$(git log --oneline $BASE.. | wc -l) failed=0 # Useful git options git config --local diff.renamelimit 0 git config --local diff.renames True commits="$(git log --format=%H --reverse $BASE..)" for c in $commits; do echo "Checking PATCH $n/$total: $(git log -n 1 --format=%s $c)..." if ! git show $c --format=email | ./scripts/checkpatch.pl --mailback -; then failed=1 echo fi n=$((n+1)) done exit $failed === TEST SCRIPT END === Updating 3c8cf5a9c21ff8782164d1def7f44bd888713384 >From https://github.com/patchew-project/qemu * [new tag] patchew/1484558821-15512-1-git-send-email-zhaoshengl...@huawei.com -> patchew/1484558821-15512-1-git-send-email-zhaoshengl...@huawei.com Switched to a new branch 'test' ad5e87b target-arm: cpu64: Add support for Cortex-A72 d4f6c86 arm: virt: Enable generic type CPU in virt machine db2426e target: arm: Add a generic type cpu 042dff8 arm: kvm64: Check if kvm supports cross type vCPU d8b8db1 target: arm: Add the qemu target for KVM_ARM_TARGET_GENERIC_V8 71eb07d headers: update linux headers === OUTPUT BEGIN === Checking PATCH 1/6: headers: update linux headers... Checking PATCH 2/6: target: arm: Add the qemu target for KVM_ARM_TARGET_GENERIC_V8... Checking PATCH 3/6: arm: kvm64: Check if kvm supports cross type vCPU... ERROR: Macros with complex values should be enclosed in parenthesis #21: FILE: target/arm/kvm64.c:484: +#define ARM_CPU_ID_MIDR3, 0, 0, 0, 0 ERROR: Macros with complex values should be enclosed in parenthesis #24: FILE: target/arm/kvm64.c:487: +#define ARM_CPU_ID_REVIDR 3, 0, 0, 0, 6 ERROR: Macros with complex values should be enclosed in parenthesis #25: FILE: target/arm/kvm64.c:488: +#define ARM_CPU_ID_AIDR3, 1, 0, 0, 7 ERROR: Macros with complex values should be enclosed in parenthesis #28: FILE: target/arm/kvm64.c:491: +#define ARM_CPU_ID_CCSIDR 3, 1, 0, 0, 0 ERROR: Macros with complex values should be enclosed in parenthesis #29: FILE: target/arm/kvm64.c:492: +#define ARM_CPU_ID_CLIDR 3, 1, 0, 0, 1 ERROR: Macros with complex values should be enclosed in parenthesis #30: FILE: target/arm/kvm64.c:493: +#define ARM_CPU_ID_CSSELR 3, 2, 0, 0, 0 ERROR: Macros with complex values should be enclosed in parenthesis #31: FILE: target/arm/kvm64.c:494: +#define ARM_CPU_ID_CTR 3, 3, 0, 0, 1 ERROR: Macros with complex values should be enclosed in parenthesis #34: FILE: target/arm/kvm64.c:497: +#define ARM_CPU_ID_PFR03, 0, 0, 1, 0 ERROR: Macros with complex values should be enclosed in parenthesis #35: FILE: target/arm/kvm64.c:498: +#define ARM_CPU_ID_PFR13, 0, 0, 1, 1 ERROR: Macros with complex values should be enclosed in parenthesis #36: FILE: target/arm/kvm64.c:499: +#define ARM_CPU_ID_DFR03, 0, 0, 1, 2 ERROR: Macros with complex values should be enclosed in parenthesis #37: FILE: target/arm/kvm64.c:500: +#define ARM_CPU_ID_AFR03, 0, 0, 1, 3 ERROR: Macros with complex values should be enclosed in parenthesis #38: FILE: target/arm/kvm64.c:501: +#define ARM_CPU_ID_MMFR0 3, 0, 0, 1, 4 ERROR: Macros with complex values should be enclosed in parenthesis #39: FILE: target/arm/kvm64.c:502: +#define ARM_CPU_ID_MMFR1 3, 0, 0, 1, 5 ERROR: Macros with complex values should be enclosed in parenthesis #40: FILE: target/arm/kvm64.c:503: +#define ARM_CPU_ID_MMFR2 3, 0, 0, 1, 6 ERROR: Macros with complex values should be enclosed in parenthesis #41: FILE: target/arm/kvm64.c:504: +#define ARM_CPU_ID_MMFR3 3, 0, 0, 1, 7 ERROR: Macros with complex values should be enclosed in parenthesis #42: FILE: target/arm/kvm64.c:505: +#define ARM_CPU_ID_ISAR0 3, 0, 0, 2, 0 ERROR: Macros with complex values should be enclosed in parenthesis #43: FILE: target/arm/kvm64.c:506: +#define ARM_CPU_ID_ISAR1 3, 0, 0, 2, 1 ERROR: Macros with complex values should be enclosed in parenthesis #44: FILE: target/arm/kvm64.c:507: +#define ARM_CPU_ID_ISAR2 3, 0, 0, 2, 2 ERROR: Macros with complex values should be enclosed in parenthesis #45: FILE: target/arm/kvm64.c:508: +#define ARM_CPU_ID_ISAR3 3, 0, 0, 2, 3 ERROR: Macros with complex values should be enclosed in parenthesis #46: FILE: target/arm/kvm64.c:509: +#define ARM_CPU_ID_ISAR4 3, 0, 0, 2, 4 ERROR: Macros with complex values should be enclosed in parenthesis #47: FILE: target/arm/kvm64.c:510: +#define ARM_CPU_ID_ISAR5 3, 0, 0, 2, 5 ERROR: Macros with complex values should be enclosed in parenthesis #48: FILE: target/arm/kvm64.c:511: +#define ARM_CPU_ID_MMFR4 3, 0, 0, 2, 6 ERROR: Macros with complex values should be enclosed in parenth
Re: [RFC PATCH 00/12] Add SDEI support for arm64
Patchew URL: https://patchew.org/QEMU/1569338511-3572-1-git-send-email-guoh...@huawei.com/ Hi, This series failed the docker-quick@centos7 build test. Please find the testing commands and their output below. If you have Docker installed, you can probably reproduce it locally. === TEST SCRIPT BEGIN === #!/bin/bash make docker-image-centos7 V=1 NETWORK=1 time make docker-test-quick@centos7 SHOW_ENV=1 J=14 NETWORK=1 === TEST SCRIPT END === libudev no default devices yes warning: Python 2 support is deprecated warning: Python 3 will be required for building future versions of QEMU cross containers no NOTE: guest cross-compilers enabled: cc --- LINKaarch64-softmmu/qemu-system-aarch64 hw/arm/virt-acpi-build.o: In function `virt_acpi_build': /tmp/qemu-test/src/hw/arm/virt-acpi-build.c:810: undefined reference to `sdei_enabled' collect2: error: ld returned 1 exit status make[1]: *** [qemu-system-aarch64] Error 1 make: *** [aarch64-softmmu/all] Error 2 Traceback (most recent call last): The full log is available at http://patchew.org/logs/1569338511-3572-1-git-send-email-guoh...@huawei.com/testing.docker-quick@centos7/?type=message. --- Email generated automatically by Patchew [https://patchew.org/]. Please send your feedback to patchew-de...@redhat.com ___ kvmarm mailing list kvmarm@lists.cs.columbia.edu https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
Re: [RFC PATCH 00/12] Add SDEI support for arm64
Patchew URL: https://patchew.org/QEMU/1569338511-3572-1-git-send-email-guoh...@huawei.com/ Hi, This series failed the docker-mingw@fedora build test. Please find the testing commands and their output below. If you have Docker installed, you can probably reproduce it locally. === TEST SCRIPT BEGIN === #! /bin/bash export ARCH=x86_64 make docker-image-fedora V=1 NETWORK=1 time make docker-test-mingw@fedora J=14 NETWORK=1 === TEST SCRIPT END === CC aarch64-softmmu/hw/arm/tosa.o CC aarch64-softmmu/hw/arm/z2.o In file included from /tmp/qemu-test/src/hw/arm/virt-acpi-build.c:35: /tmp/qemu-test/src/target/arm/sdei.h:26:10: fatal error: linux/kvm.h: No such file or directory #include ^ compilation terminated. The full log is available at http://patchew.org/logs/1569338511-3572-1-git-send-email-guoh...@huawei.com/testing.docker-mingw@fedora/?type=message. --- Email generated automatically by Patchew [https://patchew.org/]. Please send your feedback to patchew-de...@redhat.com ___ kvmarm mailing list kvmarm@lists.cs.columbia.edu https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
Re: [Qemu-devel] [RFC QEMU 0/2] arm/virt: Account for guest pause time
Hi, This series failed docker-mingw@fedora build test. Please find the testing commands and their output below. If you have Docker installed, you can probably reproduce it locally. Type: series Message-id: 1541616504-68526-1-git-send-email-bijan.mottahe...@oracle.com Subject: [Qemu-devel] [RFC QEMU 0/2] arm/virt: Account for guest pause time === TEST SCRIPT BEGIN === #!/bin/bash time make docker-test-mingw@fedora SHOW_ENV=1 J=8 === TEST SCRIPT END === Updating 3c8cf5a9c21ff8782164d1def7f44bd888713384 >From https://github.com/patchew-project/qemu * [new tag] patchew/20181108141944.15769-1-miny...@acm.org -> patchew/20181108141944.15769-1-miny...@acm.org Switched to a new branch 'test' 52275419d0 arm/virt: Account for guest pause time 10b0e76068 arm/virt: Initialize generic timer scale factor dynamically === OUTPUT BEGIN === BUILD fedora make[1]: Entering directory '/var/tmp/patchew-tester-tmp-idp_mvmw/src' GEN /var/tmp/patchew-tester-tmp-idp_mvmw/src/docker-src.2018-11-08-09.29.49.2318/qemu.tar Cloning into '/var/tmp/patchew-tester-tmp-idp_mvmw/src/docker-src.2018-11-08-09.29.49.2318/qemu.tar.vroot'... done. Your branch is up-to-date with 'origin/test'. Submodule 'dtc' (git://git.qemu-project.org/dtc.git) registered for path 'dtc' Cloning into '/var/tmp/patchew-tester-tmp-idp_mvmw/src/docker-src.2018-11-08-09.29.49.2318/qemu.tar.vroot/dtc'... Submodule path 'dtc': checked out '88f18909db731a627456f26d779445f84e449536' Submodule 'ui/keycodemapdb' (git://git.qemu.org/keycodemapdb.git) registered for path 'ui/keycodemapdb' Cloning into '/var/tmp/patchew-tester-tmp-idp_mvmw/src/docker-src.2018-11-08-09.29.49.2318/qemu.tar.vroot/ui/keycodemapdb'... Submodule path 'ui/keycodemapdb': checked out '6b3d716e2b6472eb7189d3220552280ef3d832ce' COPYRUNNER RUN test-mingw in qemu:fedora Packages installed: SDL2-devel-2.0.8-5.fc28.x86_64 bc-1.07.1-5.fc28.x86_64 bison-3.0.4-9.fc28.x86_64 bluez-libs-devel-5.50-1.fc28.x86_64 brlapi-devel-0.6.7-19.fc28.x86_64 bzip2-1.0.6-26.fc28.x86_64 bzip2-devel-1.0.6-26.fc28.x86_64 ccache-3.4.2-2.fc28.x86_64 clang-6.0.1-1.fc28.x86_64 device-mapper-multipath-devel-0.7.4-3.git07e7bd5.fc28.x86_64 findutils-4.6.0-19.fc28.x86_64 flex-2.6.1-7.fc28.x86_64 gcc-8.1.1-5.fc28.x86_64 gcc-c++-8.1.1-5.fc28.x86_64 gettext-0.19.8.1-14.fc28.x86_64 git-2.17.1-3.fc28.x86_64 glib2-devel-2.56.1-4.fc28.x86_64 glusterfs-api-devel-4.1.2-2.fc28.x86_64 gnutls-devel-3.6.3-3.fc28.x86_64 gtk3-devel-3.22.30-1.fc28.x86_64 hostname-3.20-3.fc28.x86_64 libaio-devel-0.3.110-11.fc28.x86_64 libasan-8.1.1-5.fc28.x86_64 libattr-devel-2.4.48-3.fc28.x86_64 libcap-devel-2.25-9.fc28.x86_64 libcap-ng-devel-0.7.9-4.fc28.x86_64 libcurl-devel-7.59.0-6.fc28.x86_64 libfdt-devel-1.4.6-5.fc28.x86_64 libpng-devel-1.6.34-6.fc28.x86_64 librbd-devel-12.2.7-1.fc28.x86_64 libssh2-devel-1.8.0-7.fc28.x86_64 libubsan-8.1.1-5.fc28.x86_64 libusbx-devel-1.0.22-1.fc28.x86_64 libxml2-devel-2.9.8-4.fc28.x86_64 llvm-6.0.1-6.fc28.x86_64 lzo-devel-2.08-12.fc28.x86_64 make-4.2.1-6.fc28.x86_64 mingw32-SDL2-2.0.5-3.fc27.noarch mingw32-bzip2-1.0.6-9.fc27.noarch mingw32-curl-7.57.0-1.fc28.noarch mingw32-glib2-2.56.1-1.fc28.noarch mingw32-gmp-6.1.2-2.fc27.noarch mingw32-gnutls-3.6.2-1.fc28.noarch mingw32-gtk3-3.22.30-1.fc28.noarch mingw32-libjpeg-turbo-1.5.1-3.fc27.noarch mingw32-libpng-1.6.29-2.fc27.noarch mingw32-libssh2-1.8.0-3.fc27.noarch mingw32-libtasn1-4.13-1.fc28.noarch mingw32-nettle-3.4-1.fc28.noarch mingw32-pixman-0.34.0-3.fc27.noarch mingw32-pkg-config-0.28-9.fc27.x86_64 mingw64-SDL2-2.0.5-3.fc27.noarch mingw64-bzip2-1.0.6-9.fc27.noarch mingw64-curl-7.57.0-1.fc28.noarch mingw64-glib2-2.56.1-1.fc28.noarch mingw64-gmp-6.1.2-2.fc27.noarch mingw64-gnutls-3.6.2-1.fc28.noarch mingw64-gtk3-3.22.30-1.fc28.noarch mingw64-libjpeg-turbo-1.5.1-3.fc27.noarch mingw64-libpng-1.6.29-2.fc27.noarch mingw64-libssh2-1.8.0-3.fc27.noarch mingw64-libtasn1-4.13-1.fc28.noarch mingw64-nettle-3.4-1.fc28.noarch mingw64-pixman-0.34.0-3.fc27.noarch mingw64-pkg-config-0.28-9.fc27.x86_64 ncurses-devel-6.1-5.20180224.fc28.x86_64 nettle-devel-3.4-2.fc28.x86_64 nss-devel-3.38.0-1.0.fc28.x86_64 numactl-devel-2.0.11-8.fc28.x86_64 package PyYAML is not installed package libjpeg-devel is not installed perl-5.26.2-413.fc28.x86_64 pixman-devel-0.34.0-8.fc28.x86_64 python3-3.6.5-1.fc28.x86_64 snappy-devel-1.1.7-5.fc28.x86_64 sparse-0.5.2-1.fc28.x86_64 spice-server-devel-0.14.0-4.fc28.x86_64 systemtap-sdt-devel-3.3-1.fc28.x86_64 tar-1.30-3.fc28.x86_64 usbredir-devel-0.8.0-1.fc28.x86_64 virglrenderer-devel-0.6.0-4.20170210git76b3da97b.fc28.x86_64 vte3-devel-0.36.5-6.fc28.x86_64 which-2.21-8.fc28.x86_64 xen-devel-4.10.1-5.fc28.x86_64 zlib-devel-1.2.11-8.fc28.x86_64 Environment variables: TARGET_LIST= PACKAGES=bc bison bluez-libs-devel brlapi-devel bzip2 bzip2-devel ccache clang device-mapper-multipath-devel findutils flex gcc gcc-c++ gettext git glib2-devel glusterfs-api-devel g
Re: [Qemu-devel] [RFC QEMU 0/2] arm/virt: Account for guest pause time
Hi, This series failed docker-quick@centos7 build test. Please find the testing commands and their output below. If you have Docker installed, you can probably reproduce it locally. Type: series Message-id: 1541616504-68526-1-git-send-email-bijan.mottahe...@oracle.com Subject: [Qemu-devel] [RFC QEMU 0/2] arm/virt: Account for guest pause time === TEST SCRIPT BEGIN === #!/bin/bash time make docker-test-quick@centos7 SHOW_ENV=1 J=8 === TEST SCRIPT END === Updating 3c8cf5a9c21ff8782164d1def7f44bd888713384 >From https://github.com/patchew-project/qemu * [new tag] patchew/20181105014047.26447-1-sa...@linux.intel.com -> patchew/20181105014047.26447-1-sa...@linux.intel.com Switched to a new branch 'test' 52275419d0 arm/virt: Account for guest pause time 10b0e76068 arm/virt: Initialize generic timer scale factor dynamically === OUTPUT BEGIN === BUILD centos7 make[1]: Entering directory '/var/tmp/patchew-tester-tmp-q7a5t89k/src' GEN /var/tmp/patchew-tester-tmp-q7a5t89k/src/docker-src.2018-11-08-09.32.34.7613/qemu.tar Cloning into '/var/tmp/patchew-tester-tmp-q7a5t89k/src/docker-src.2018-11-08-09.32.34.7613/qemu.tar.vroot'... done. Your branch is up-to-date with 'origin/test'. Submodule 'dtc' (git://git.qemu-project.org/dtc.git) registered for path 'dtc' Cloning into '/var/tmp/patchew-tester-tmp-q7a5t89k/src/docker-src.2018-11-08-09.32.34.7613/qemu.tar.vroot/dtc'... Submodule path 'dtc': checked out '88f18909db731a627456f26d779445f84e449536' Submodule 'ui/keycodemapdb' (git://git.qemu.org/keycodemapdb.git) registered for path 'ui/keycodemapdb' Cloning into '/var/tmp/patchew-tester-tmp-q7a5t89k/src/docker-src.2018-11-08-09.32.34.7613/qemu.tar.vroot/ui/keycodemapdb'... Submodule path 'ui/keycodemapdb': checked out '6b3d716e2b6472eb7189d3220552280ef3d832ce' COPYRUNNER RUN test-quick in qemu:centos7 Packages installed: SDL-devel-1.2.15-14.el7.x86_64 bison-3.0.4-1.el7.x86_64 bzip2-1.0.6-13.el7.x86_64 bzip2-devel-1.0.6-13.el7.x86_64 ccache-3.3.4-1.el7.x86_64 csnappy-devel-0-6.20150729gitd7bc683.el7.x86_64 flex-2.5.37-3.el7.x86_64 gcc-4.8.5-28.el7_5.1.x86_64 gettext-0.19.8.1-2.el7.x86_64 git-1.8.3.1-14.el7_5.x86_64 glib2-devel-2.54.2-2.el7.x86_64 libaio-devel-0.3.109-13.el7.x86_64 libepoxy-devel-1.3.1-2.el7_5.x86_64 libfdt-devel-1.4.6-1.el7.x86_64 lzo-devel-2.06-8.el7.x86_64 make-3.82-23.el7.x86_64 mesa-libEGL-devel-17.2.3-8.20171019.el7.x86_64 mesa-libgbm-devel-17.2.3-8.20171019.el7.x86_64 nettle-devel-2.7.1-8.el7.x86_64 package g++ is not installed package librdmacm-devel is not installed pixman-devel-0.34.0-1.el7.x86_64 spice-glib-devel-0.34-3.el7_5.1.x86_64 spice-server-devel-0.14.0-2.el7_5.4.x86_64 tar-1.26-34.el7.x86_64 vte-devel-0.28.2-10.el7.x86_64 xen-devel-4.6.6-12.el7.x86_64 zlib-devel-1.2.7-17.el7.x86_64 Environment variables: PACKAGES=bison bzip2 bzip2-devel ccache csnappy-devel flex g++ gcc gettext git glib2-devel libaio-devel libepoxy-devel libfdt-devel librdmacm-devel lzo-devel make mesa-libEGL-devel mesa-libgbm-devel nettle-devel pixman-devel SDL-devel spice-glib-devel spice-server-devel tar vte-devel xen-devel zlib-devel HOSTNAME=8bd8d5bb7b7b MAKEFLAGS= -j8 J=8 CCACHE_DIR=/var/tmp/ccache EXTRA_CONFIGURE_OPTS= V= SHOW_ENV=1 PATH=/usr/lib/ccache:/usr/lib64/ccache:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin PWD=/ TARGET_LIST= SHLVL=1 HOME=/home/patchew TEST_DIR=/tmp/qemu-test FEATURES= dtc DEBUG= _=/usr/bin/env Configure options: --enable-werror --target-list=x86_64-softmmu,aarch64-softmmu --prefix=/tmp/qemu-test/install No C++ compiler available; disabling C++ specific optional code Install prefix/tmp/qemu-test/install BIOS directory/tmp/qemu-test/install/share/qemu firmware path /tmp/qemu-test/install/share/qemu-firmware binary directory /tmp/qemu-test/install/bin library directory /tmp/qemu-test/install/lib module directory /tmp/qemu-test/install/lib/qemu libexec directory /tmp/qemu-test/install/libexec include directory /tmp/qemu-test/install/include config directory /tmp/qemu-test/install/etc local state directory /tmp/qemu-test/install/var Manual directory /tmp/qemu-test/install/share/man ELF interp prefix /usr/gnemul/qemu-%M Source path /tmp/qemu-test/src GIT binarygit GIT submodules C compilercc Host C compiler cc C++ compiler Objective-C compiler cc ARFLAGS rv CFLAGS-O2 -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=2 -g QEMU_CFLAGS -I/usr/include/pixman-1-Werror -pthread -I/usr/include/glib-2.0 -I/usr/lib64/glib-2.0/include -fPIE -DPIE -m64 -mcx16 -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -D_LARGEFILE_SOURCE -Wstrict-prototypes -Wredundant-decls -Wall -Wundef -Wwrite-strings -Wmissing-prototypes -fno-strict-aliasing -fno-common -fwrapv -Wendif-labels -Wno-missing-include-dirs -Wempty-body -Wnested-externs -Wformat-security -Wformat-y2k -Wini
Re: [Qemu-devel] [RFC QEMU v2 0/2] arm/virt: Account for guest pause time
Hi, This series seems to have some coding style problems. See output below for more information: Type: series Subject: [Qemu-devel] [RFC QEMU v2 0/2] arm/virt: Account for guest pause time Message-id: 1543352837-21529-1-git-send-email-bijan.mottahe...@oracle.com === TEST SCRIPT BEGIN === #!/bin/bash BASE=base n=1 total=$(git log --oneline $BASE.. | wc -l) failed=0 git config --local diff.renamelimit 0 git config --local diff.renames True git config --local diff.algorithm histogram commits="$(git log --format=%H --reverse $BASE..)" for c in $commits; do echo "Checking PATCH $n/$total: $(git log -n 1 --format=%s $c)..." if ! git show $c --format=email | ./scripts/checkpatch.pl --mailback -; then failed=1 echo fi n=$((n+1)) done exit $failed === TEST SCRIPT END === Updating 3c8cf5a9c21ff8782164d1def7f44bd888713384 Switched to a new branch 'test' bf7b6dc arm/virt: Account for guest pause time 21423f4 arm/virt: Initialize generic timer scale factor dynamically === OUTPUT BEGIN === Checking PATCH 1/2: arm/virt: Initialize generic timer scale factor dynamically... ERROR: exactly one space required after that #ifdef #33: FILE: hw/arm/virt.c:1757: +#ifdef CONFIG_KVM total: 1 errors, 0 warnings, 106 lines checked Your patch has style problems, please review. If any of these errors are false positives report them to the maintainer, see CHECKPATCH in MAINTAINERS. Checking PATCH 2/2: arm/virt: Account for guest pause time... === OUTPUT END === Test command exited with code: 1 --- Email generated automatically by Patchew [http://patchew.org/]. Please send your feedback to patchew-de...@redhat.com ___ kvmarm mailing list kvmarm@lists.cs.columbia.edu https://lists.cs.columbia.edu/mailman/listinfo/kvmarm