bitkeeper revision 1.477 (3f7af8b82LonZol-iaBebE9SLaDifw)

Merge striker.cl.cam.ac.uk:/usr/groups/xeno/BK/xeno-1.0.bk
into striker.cl.cam.ac.uk:/usr/groups/xeno/BK/xeno.bk

BitKeeper/etc/logging_ok

@@ -8,6 +8,7 @@ bd240@boulderdash.cl.cam.ac.uk
 bd240@labyrinth.cl.cam.ac.uk
 iap10@freefall.cl.cam.ac.uk
 iap10@labyrinth.cl.cam.ac.uk
+iap10@striker.cl.cam.ac.uk
 jws22@gauntlet.cl.cam.ac.uk
 jws@cairnwell.research
 kaf24@labyrinth.cl.cam.ac.uk

README.CD

@@ -227,6 +227,8 @@ of the following possibilities, for example:
 
  * root=/dev/hda3 ro
      boot using a standard hard disk partition as root
+     !!! remember to do "xenctl physical grant -phda3 -w -n<dom>" first
+     (grant domain <dom> read/write access to partition 3)
 
  * root=/dev/xvda1 ro
      boot using a pre-configured 'virtual block device' that will be

tools/control/Makefile

@@ -8,7 +8,7 @@ clean: clean-cmdline clean-web
 
 examples: FORCE
 	mkdir -p ../../../install/etc
-	chmod +w ../../../install/etc/*
+	chmod +w ../../../install/etc/* || true
 	cp examples/xen* examples/*example ../../../install/etc/
 
 cmdline: FORCE