debuggers.hg

view tools/control/xenctl.xml @ 644:5e169da77286

bitkeeper revision 1.339 (3f0d6d60VROcPVK9573_fpTcuFCUXg)

Rename domctl.xml to xenctl.xml
author rac61@labyrinth.cl.cam.ac.uk
date Thu Jul 10 13:42:56 2003 +0000 (2003-07-10)
parents
children 3c39b32327e1
line source
1 <?xml version="1.0"?>
2 <domctl_defaults>
3 <xi_tools_dir>/usr/local/bin/</xi_tools_dir>
4 <domain_name>XenoLinux</domain_name>
5 <domain_size_kb>16000</domain_size_kb>
6 <domain_image>./image</domain_image>
7 <domain_vifs>1</domain_vifs>
8 <root_device>/dev/nfs</root_device>
9 <nw_ip>=+</nw_ip>
10 <nw_gw>=</nw_gw>
11 <nw_mask>=</nw_mask>
12 <nw_nfs_server>128.232.32.20</nw_nfs_server>
13 <nw_nfs_root>/usr/groups/srgboot/moonraider/roots/root+</nw_nfs_root>
14 <max_domain_number>10</max_domain_number>
15 </domctl_defaults>