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 8 servers in the production
26 In the debian installer:
27 - 500M for /boot in raid1 of sda1, sdb1
28 - rest for LVM in raid1 of sda2, sdb2
31 - install a vanilla kernel, not xen;
32 will install xen hypervisor from backports in our later custom install.
35 Currently allocated backend IPs:
44 10.5.128.23 m-a (not installed)
46 10.5.128.128 RAID group portal
47 10.5.128.129 RAID device/management
54 10.5.128.226 g-d IPMI (currently unplugged)
56 10.5.128.228 m-a IPMI (not configured)
65 10.6.128.23 m-a (not installed)
67 10.6.128.129 RAID device/management
69 10.6.128.229 g-d IPMI (temporary hardware)