diff options
-rw-r--r-- | BitKeeper/etc/logging_ok | 1 | ||||
-rw-r--r-- | README.CD | 2 | ||||
-rw-r--r-- | tools/control/Makefile | 2 |
3 files changed, 4 insertions, 1 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index cfbe120742..b66e37b978 100644 --- a/BitKeeper/etc/logging_ok +++ b/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 @@ -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 diff --git a/tools/control/Makefile b/tools/control/Makefile index 7a49e1807a..ce594d833b 100644 --- a/tools/control/Makefile +++ b/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 |