2 In the Dell PowerEdge SC1435 servers delivered July 2008,
3 there are several BIOS settings that need to be frobbed on setup.
5 in the setup screen at F2:
6 - CPU -> Virtualization Technology: on
7 - Boot Sequence: disable NIC
8 - Integrated Devices -> Embedded Gb NIC: turn off PXE
9 - Serial Communication:
10 - Serial Communication: On with Console Redirection via COM2
11 - External Serial Connector: COM1
12 - Failsafe Baud Rate: 57600
13 - Remote Terminal Type: VT100/VT220
14 - Redirection After Boot: Disabled
16 in the setup screen for remote management, at Ctrl-E:
17 - Turn on IPMI over LAN
18 - IP is (main IP) =~ s/18.181.0/10.5.128/
19 e.g. 10.5.128.221 for citadel-station == 18.181.0.221
20 - netmask is 255.255.0.0
21 - Set the password to the XVM root
23 All of these settings are reflected on all 4 servers in the production
27 In the debian installer:
28 - 500M for /boot in raid1 of sda1, sdb1
29 - rest for LVM in raid1 of sda2, sdb2
32 - install a vanilla kernel, not xen;
33 will install xen hypervisor from backports in our later custom install.