bitkeeper revision 1.1236.1.16 (421db67dL0mXatHebAtt9KpMqkCIBQ)

More FPU fixes. Extend taskswitch hypercall to allow TS bit to be
cleared as well as set.

bitkeeper revision 1.1236.1.15 (421db61bgONipq0c7bjsEyIfuoZzEw)

Merge scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-2.0-testing.bk
into scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-unstable.bk

bitkeeper revision 1.1159.258.11 (421db5das21KZ5OM9VgBIYQNaZthng)

Fix console_use_vt feature that makes VT switchable at run time in
Linux.
Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>

bitkeeper revision 1.1236.1.14 (421db08d6LIbanwxXMIaE6u0X5DIbQ)

Move Emacs mode lines to end of files, out of the way.
Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>

bitkeeper revision 1.1236.1.13 (421dacedhaZlzbC4_CN6lMN85qerFQ)

Merge scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-2.0-testing.bk
into scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-unstable.bk

bitkeeper revision 1.1159.258.10 (421dacb67rVw006uybBjh0HNKVaObw)

Make mkelf32 byte-order clean.
Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>

bitkeeper revision 1.1236.1.12 (421da2beCWorg82h5pKlUfgL04gvhA)

Fix x86/64 get_stack_bottom().
Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>

bitkeeper revision 1.1236.1.11 (421da0daKKsT7rDnkbjTI6O17x8XIQ)

[PATCH] trace-int.patch

Trace guest interrupt injections too.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
===== arch/x86/vmx.c 1.21 vs edited =====

bitkeeper revision 1.1236.1.10 (421da0d32W6mm78NfqVauwQT_ZO1dQ)

[PATCH] mmio_addr.patch

Use 1:1 page table to figure out if a particular physical address belongs
to MMIO range or not.

Signed-off-by: Xin B Li <xin.b.li@intel.com>
Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Index: trunk/tools/libxc/xc_vmx_build.c
===================================================================

bitkeeper revision 1.1236.1.9 (421da0c9oRchQk9qH4h9W-dsF3I1Jg)

[PATCH] gpa-page-zero.patch

GPFN = 0 is a valid page frame and we shouldn't inject #PG into guest.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Index: trunk/xen/arch/x86/vmx.c
===================================================================

bitkeeper revision 1.1236.1.8 (421da0af_4ZHSxnqpym3nlttZ_d5fQ)

[PATCH] term.patch

Enable text and RFB interface in the device models

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
===== gui/Makefile 1.2 vs edited =====

bitkeeper revision 1.1236.1.7 (421d9a5b-DJu8ku3gvpHa3t6ChqYKQ)

Merge scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-unstable.bk
into scramble.cl.cam.ac.uk:/local/scratch/kaf24/xeno-unstable-ia64.bk

bitkeeper revision 1.1236.2.2 (421d9845sycnlJqY30Dp6wiJSQPOjA)

Tiny.

bitkeeper revision 1.1236.2.1 (421d97a5SR1YbOvnVv1vbOXHzoiZ4Q)

Merge scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-2.0-testing.bk
into scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-unstable.bk

bitkeeper revision 1.1159.258.9 (421d978cixdcn2ycn94dJci5cqGzjg)

Build cleanups. Build dynamic libs as -fPIC always.
Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>

bitkeeper revision 1.1236.1.6 (421d38d66ZGTXP7EnaZjRjZIbQKLfg)

[PATCH] Setup EFI memory descriptors for I/O Ports

Signed-off-by: Arun Sharma <arun.sharma@intel.com>

bitkeeper revision 1.1236.1.5 (421d33ebHNLMMWDQ8PEe_htJGjNqaw)

[PATCH] Fix mismatched parens

Fix mismatched parens.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Index: xen-ia64.svn/xen/arch/ia64/vcpu.c
===================================================================

bitkeeper revision 1.1236.1.4 (421d33ccU_69hAlhQIokqDt-5pIheg)

[PATCH] Disable VHPT for Region 6

- Disable VHPT for region 6.
- Initialize the reserved bits in the region regs to 0. Otherwise it
  could result in a reserved register/field fault.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>

bitkeeper revision 1.1236.1.3 (421bc44363Gqj5L6SBcgLUYMYTmG8A)

More FPU cleanups. We emulate CLTS and direct mov to CR0 properly
now, so Linux execution should be correct now, I hope!
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1236.1.2 (421bc0e9RilmWe1R_zU1KEjmlZSJzw)

Merge scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-2.0-testing.bk
into scramble.cl.cam.ac.uk:/local/scratch/kaf24/xen-unstable.bk

bitkeeper revision 1.1159.258.8 (421bc0b0jvILWAafCXfC9uUwrkZb3A)

Clean up task-switch path. Now differs more from native code, but
it is a critical path. Also fixed a comment and FPU TS setting.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1236.1.1 (421bba88ZaitlU4qEVN6Xp2WKaq8Vg)

FPU fixes.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1236 (421b49e0jUTlkllzShzryRgPs9Q-vg)

Fix x86/64 build.
Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>

bitkeeper revision 1.1235 (421b41aazjnSo8DpSfrNQiqgpP1Dmw)

Merge burn.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into burn.cl.cam.ac.uk:/local/scratch-1/maf46/xen-unstable.bk

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1234 (421b3fb4-44X_GoE5Kjk9WGfmRE_rg)

Move the phys-to-mach map from PERDOMAIN_VIRT_START to
RO_MPT_VIRT_START (which isn't otherwise used by
shadow_mode_shadow()==true domains).

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1230.2.6 (421b018aJlWpumpfgzBVkwUkc9P8Hg)

Remove unnecessary irq enable/disable and flag test from do_upcall().
Signed-off-by: Keir Fraser <Keir.Fraser@cl.cam.ac.uk>

bitkeeper revision 1.1230.2.5 (421afdf6gp9lAUBMAFeH4-ZMa0jMpg)

Manual merge.

bitkeeper revision 1.1159.258.7 (421afd0bk-TdZ_Jc5UrN-eVwJPdgbw)

Remove unnecessary irq enable/disable and flag test from do_upcall().
Signed-off-by: Keir Fraser <Keir.Fraser@cl.cam.ac.uk>

bitkeeper revision 1.1230.2.4 (421a95cepOZORm0EbZfqBeZ6PZ8MwA)

Merge freefall.cl.cam.ac.uk:/auto/groups/xeno/users/cl349/BK/xen-unstable.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk

bitkeeper revision 1.1230.3.1 (421a9560ig3FHldRnXtbmBVMnR-V9Q)

manual merge

bitkeeper revision 1.1230.2.3 (421a8b4cm10sqtsFEvc7uzbhBbWSaQ)

Support "make linux-2.6-xenU-config" and similar.  Defaults to run menuconfig,
but canbe overriden on Make's command line by setting CONFIGMODE.
Signed-off-by: chris@xensource.com

bitkeeper revision 1.1230.2.2 (421a8798mvsMIGmWCHsDOB-iq7xzGg)

Bring back the console_{putc,getc} set of functions, which
export access to the console without exporting the sercon_handle.
Signed-off-by: chris@xensource.com

bitkeeper revision 1.1230.2.1 (421a871fZOwVkDnyTbM9miM9F5Em1g)

Avoid pulling in more header files (again).
Signed-off-by: chris@xensource.com

bitkeeper revision 1.1159.258.6 (421a32c9eTLZXetUKq3j83jL31eC5A)

  Build AGP and DRM modules into linux 2.6-xen0 default kernel.

  WARNING: Not all of these drivers have been tested, and its possible that
  previously working X setups will now cause the machine to spontaneously
  reboot when X starts! If so, please report these problems, and disable
  the AGP/DRM module that is being used.

Signed-off-by: ian.pratt@cl.cam.ac.uk

bitkeeper revision 1.1233 (421a1c36TYJWUEtp558QjJv1X0XXrQ)

If debugging is enabled, printout the e820 map for vmx guests.

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1232 (421a1aeagsuhCOtCFLo9iXpcJUn-WA)

Minor renaming of "pfn"s to "mfn"s in various places.

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1231 (421a19f9K3T6OGgQYOACRx6deejNmQ)

Added "make TAGS" back into libxc/Makefile again.

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1230 (4219c6ad75ERLn-41qrS4GAxcsiIFQ)

Pass a struct xen_regs* to shadow_fault() instead of an error_code.

bitkeeper revision 1.1229 (42180985F67QALsnFjovJHWiIDEz_A)

Fix return-code checking in tools.
Signed-off-by: Rik van Riel <riel@redhat.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1228 (421803d5d7vOI2phFwJN5YLJZi4dkg)

cleanup.

bitkeeper revision 1.1227 (42179b08SzTlAiKTeTL94ij1uugTCw)

Merge burn.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into burn.cl.cam.ac.uk:/local/scratch-1/maf46/xen-unstable.bk

bitkeeper revision 1.1205.1.11 (4217992bf9DJxC6jfUMIeJI7nFHXFA)

Get rid of vmx_update_shadow_state();
integrate into regular shadow code.

bitkeeper revision 1.1205.1.10 (421796afi6cb40DRRlGAd0wByIfSjg)

Bug fix: stop leaking shadow L2 pages like a sieve.
We were looking up shadow_status with a mfn rather than a gpfn.

bitkeeper revision 1.1205.1.9 (42179612_ThKiOQJXSvUd2fzY_5Zjg)

Minor shadow code cleanups/renames.

bitkeeper revision 1.1205.1.8 (42179221RdRmvXDL69VEYSvlZXKzPQ)

Removed hl2_table, as it's not used by any of the code.
hl2_vtable is used, but not hl2_table.

bitkeeper revision 1.1205.1.7 (42179095Rjv8vD5JDTuaW-NIVH4aWA)

Minor cleanups.

bitkeeper revision 1.1226 (42171403YlyxYsyEqT3uqkzZeE7vfQ)

Delete Xenolinux kernel modules during uninstall.
Signed-off-by: bin.ren@cl.cam.ac.uk

bitkeeper revision 1.1225 (4216b500cJI-yzL_QuE8EtpxoFvapA)

vmx.c:
  Handle NMIs. Use existing TRAP_* definitions.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: Keir Fraser <keir.fraser@cl.cam.ac.uk>

bitkeeper revision 1.1205.1.6 (421610c1mW36wSV3s2_Nq4aCfp5XTQ)

Added a printk to acknowledge hitting the debugprint toggle key.

bitkeeper revision 1.1205.1.5 (42160256WLh3PYM-V5i-QJliGUxICA)

Added a toggle so that debugtrace_printk's can be redirected to the
console or to their own private buffer.

bitkeeper revision 1.1205.1.4 (4215f76aKShpc2MoKv20Ho-I6PFwGg)

Bug fixes for out-of-bounds bug in the rewrite of debugtrace_printk

bitkeeper revision 1.1159.258.5 (4215f09cU1Zrw85yrXJiQPM7LeMJtw)

nettel.patch, drm.patch, agpgart.patch:
  mvdir

bitkeeper revision 1.1224 (4215f001YcEPrr6IeqP8EV-aRe7dMw)

agpgart.patch:
  mvdir

bitkeeper revision 1.1223 (4215eee4gqIO-1mu8V6FHhIhoaqaiQ)

Change priv-op emulation behaviour to fail silently in some cases
rather than propagate the fault (still non-silent in debug builds!).
Also be careful in running user-specified RDMSR/WRMSR: an invalid
MSR index causes a GP(0) fault.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1205.1.3 (4215ee82GVkS6-XQcYeidECo27K1Qw)

Added a keybinding for dumping the debugtrace_printf's

bitkeeper revision 1.1222 (421597ecaI2-3aeW9kd822IZ_lBy3w)

fix Kconfig typo.

signed-off-by: akw27@cl.cam.ac.uk

bitkeeper revision 1.1205.1.2 (421527deX3t0INFwjrOweq0E7Le7pw)

Rename fields in arch_exec_domain to be more uniform.
Promote vmx_shadow_invlpg() to shadow_invlpg().

bitkeeper revision 1.1221 (42152386hyIe9n6VsIczTLskp4VGvg)

xensetup.c:
  Rename cli/sti to local_irq_disable/enable

bitkeeper revision 1.1205.1.1 (42150936fR3KSFT51o4AFy0i4Fg7Vg)

Merge burn.cl.cam.ac.uk:/local/scratch-1/maf46/xen-unstable.bk/tmp
into burn.cl.cam.ac.uk:/local/scratch-1/maf46/xen-unstable.bk

bitkeeper revision 1.1203.1.2 (42150898CXjY7WEQQX0UPd8XVrticw)

Minor cleanup of vmx debug messages

bitkeeper revision 1.1203.1.1 (42150768_GVy_di2OIi0ljHAGVf4VA)

Be careful to continue using the 1:1 pagetable if we take a vmexit
before the vmx guest switches into protected/paged mode.

bitkeeper revision 1.1220 (4214fffcv7Wm_qzuKsods5H-cMEy1Q)

irq_ia64.c:
  lost fix from domain->exec_domain update

bitkeeper revision 1.1219 (4214f9e8mAflLVnLBsxNJdAvHZOXTA)

irq_ia64.c:
  lost fix from domain->exec_domain update

bitkeeper revision 1.1218 (4214eb5c50HeO5ayekYo8U0171lEmA)

mkbuildtree, setup.c:
  update to match serial changes in common
serial.h:
  new file

bitkeeper revision 1.1217 (421485a7z8JARjjC9F7b0rTr-A1WOw)

Ensure watchdog disabled during fatal-error handling.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1216 (42147ef15RGD4Ufi981UaX7EmpdxHQ)

Allocator cleanups.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1215 (42142daa9YHoIs3M6QPvH1qZYBJO5g)

IDT fixes. Initialise IDT sanely on x86/64. On x86/32 try to keep
per-cpu IDTs in sync better.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1214 (4214242enp-tUaPA2f1ysNS2qvLPHQ)

More serial cleanups.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1213 (42137438B9PrvSq_PgHTjzbXpJ1YhA)

xmalloc.c:
  Fix xmalloc allocator to not merge across page boundaries.
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1212 (42136b4bPyYaGldMQjQcAZc9eqgGww)

Clean up serial-line code. Pull out arch-dep to asm header file.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1211 (42135fc9O6u50eCen5G3SeEPjYjX6w)

Fix interrupt enable during ia64 bootstrap to avoid race.
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

bitkeeper revision 1.1210 (42135d344yR5vSwI1O6BZ3rfVvGIJg)

Don't depend on auto-generated header asm-offsets.h.
Signed-off-by: keir.fraser@cl.cam.ac.uk

bitkeeper revision 1.1209 (421346f9xbQDgRDaxkDUGy8ppyT1UQ)

fix debug race condition on tap.

signed-off-by: akw27@cl.cam.ac.uk

bitkeeper revision 1.1208 (4212ad8c5vLMbRL8isvvSTbC88iL5Q)

usbfront: eliminate the urb_remove_list

Signed-off-by: mark.williamson@cl.cam.ac.uk

bitkeeper revision 1.1207 (4212a4a3fSH5ORndkL3huFaCkLB62A)

Further USB Frontend tidying.

Signed-off-by: mark.williamson@cl.cam.ac.uk

bitkeeper revision 1.1206 (421298acOZi7dg5p-4vCDkR8RsPqRA)

Merge ssh://maw48@freefall.cl.cam.ac.uk//auto/groups/xeno/BK/xeno.bk
into equilibrium.research:/home/irchomes/mwilli2/src/xen-3.0-devel.bk

bitkeeper revision 1.1201.1.3 (421297bd6K0RFSf9_qOCU30jMEudxg)

USB Frontend cleanups.

Signed-off-by: mark.williamson@cl.cam.ac.uk

bitkeeper revision 1.1201.1.2 (421110cdU4f7yPjZxp717O6Xj5SOKQ)

Merge bk://xen.bkbits.net/xeno-unstable.bk
into equilibrium.research:/home/irchomes/mwilli2/src/xen-3.0-devel.bk

bitkeeper revision 1.1159.263.1 (42110e81vH_yoemMp8R1uc9AeO0gfw)

USB cleanups and reducing trust of the frontend for iso transfers.

bitkeeper revision 1.1205 (4210a227vRYVUcnauYxPh32urj991w)

Merge maf46@ssh-relay1.cl.cam.ac.uk:/usr/groups/xeno/BK/xen-unstable.bk
into fleming.research:/scratch/fleming/mafetter/xen.work

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1201.1.1 (421098bauUknclk2-oQphDo3ZBC1Vw)

Major ia64 update -- now boots dom0.

Signed-off-by: dan.magenheimer@hp.com
Signed-off-by: ian.pratt@cl.cam.ac.uk

bitkeeper revision 1.1204 (421096e2bPRPzPc4dLX7thZr1TdfZA)

Fixed unnecessary rebuilds of all of Xen each time, due to
asm-offset.h

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1203 (421096dcaYyLUeJDWzUpv9mpMfjHfQ)

Merge cleanups.

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1202 (421094f3xaph8Fy7S7CActoJAtqz7g)

Merge maf46@ssh-relay1.cl.cam.ac.uk:/usr/groups/xeno/BK/xen-unstable.bk
into fleming.research:/scratch/fleming/mafetter/xen.work

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1196.1.1 (4210949fd4uhxJmk2kIDASV8WbY-4w)

Minor shadow mode cleanups.

Signed-off-by: michael.fetterman@cl.cam.ac.uk

bitkeeper revision 1.1201 (42108e93jNjU6R-4pZQGJCtUzl_HkQ)

Fix SMP booting. Clean up x86/64 a bit.
Signed-off-by: keir.fraser@cl.cam.ac.uk

bitkeeper revision 1.1200 (42107fffsY27L01xietRjdMzGHiDzw)

x86/64 build fixes and simpler debug tracing.
Signed-off-by: keir.fraser@cl.cam.ac.uk

bitkeeper revision 1.1199 (42100c75YrRV-rqA2PA8zYLZf22hrw)

Further shadow_mode cleanups in preparation for the new
implementation of translate mode.

Signed-off-by: ian@xensource.com

bitkeeper revision 1.1198 (420fce12wkkVt8DoRztlJcYxK80wIw)

minor fixes to earlier pagetable change
Signed-off-by: ian.pratt@cl.cam.ac.uk

bitkeeper revision 1.1197 (420fb93dC1WSuJegG_k9TUwX4eFmyw)

Merge freefall.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-unstable.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno/users/iap10/xeno-clone/xen-unstable.bk

bitkeeper revision 1.1194.1.1 (420fb929A6i2BgwaqAFiDYqZMrpIQg)

Re-organise guest_table, shadow_table and monitor_table so that
they always have the meaning their names suggest i.e. in the
hypervisor CR3 always contains monitor_table.

After updating guest_table or any of the shadow state remeber
to call update_pagetables(ed)

One side-effect of this change is that VMX guests now start off with
shadow_mode set to full_32, but actually running on the 1:1 physmap.
We don't actually call update_pagetables() until the VCPU enables
paging, hence ensuring that linear_pg_table is NULL so we bail out
early in shadow_fault if a vmx guest tries to access outside its
memory map. We'll need this for SMP VMX guests so that each VCPU can
enable paging independently.  We might need to think further about
this for guests that do IO without paging on - possibly having a
generated pseudo phys pt that the full shadow mode can translate and
shadow.

Signed-off-by: ian@xensource.com

bitkeeper revision 1.1196 (420e70da1IwWQhyIdvfGOYQgoJQsJA)

Fix SYSCALL RFLAGS mask.
Signed-off-by: keir@xensource.com

bitkeeper revision 1.1195 (420e5ff3SFUc-sHp8lfCe-xCoUlk-A)

Hand merge

bitkeeper revision 1.1159.261.5 (420e408ezTabiELFEcwTxsv6OwQdrw)

Merge fleming.research:/scratch/fleming/mafetter/xen.work/test
into fleming.research:/scratch/fleming/mafetter/xen.work

bitkeeper revision 1.1159.262.1 (420e4084ZlJS5YFJWSpfbv7WfT4uSg)

Oops -- disable serial console buffer by default.

bitkeeper revision 1.1159.261.4 (420e3f0ctRGZge_a33H-GsBosW224g)

Cleanup after merge

bitkeeper revision 1.1159.261.3 (420e3c341h1fbkH3NCtXo63yPlvjGg)

Hand merge

bitkeeper revision 1.1159.261.2 (420e3014BpIA6NnJTdNQGkfIDMtzmQ)

Added an in-memory ring buffer to which serial console output
can be temporarily redirected.  Mode is toggled by the "c" key on
the Xen console.
Nice hack for printk() intensive debugging modes.
When switching back to serial output, the current contents of the
buffer are first dumped.  Buffer defaults to 128Kb, but size can
be set on the Xen boot command line.

bitkeeper revision 1.1159.261.1 (420e14ceCymFrPEpDCTaPJueMUTvsg)

Improved check_pagetable checking.
Added check_all_pagetables as an alternative to check_pagetable().

bitkeeper revision 1.1159.258.4 (420e086eRqMDAepFfVSrE8gAuTZ1dg)

Merge maf46@ssh-relay1.cl.cam.ac.uk:/usr/groups/xeno/BK/xen-2.0-testing.bk
into fleming.research:/scratch/fleming/mafetter/xen-2.0-testing.bk