Hi Bjorn, > On Dec 10, 2015, at 4:16 AM, Björn Brandenburg <bbb at mpi-sws.org> wrote: > > Are you running on ARM, x86, or Xen? I was testing on x86 (QEMU). > > - Björn > This is on x86 Xen. Thanks, Geoffrey