IPMI and FreeBSD
...
Intelligent Platform Management Interface (IPMI) is a remote system administrator’s dream, this facility can either come in the form of an add on card (PCI or the like) or we are now begining to see versions that are built into the BIOS. IPMI gives you another Network Interface port on the back of your server which you can access independently away from the machine so that in the case of failure (hard lock, kernel lock, etc) and unavailable remote access, you can directly query the BIOS and power systems via a web interface or utility so that you can check the logs or power cycle your system.
For FreeBSD and Linux users, to access the IPMI features you will either need a DHCP server on your network so you can use the software that came with it to scan for IPMI or you can use ipmitool. ipmitool is a utility primarily developed for Linux but theRE is a FreeBSD port which is mostly functional and you can then query the IPMI directly and change its settings. In our environment, we do not have a DHCP server but to set IP’s manually we are required to set up using this tool. To install ipmitool on FreeBSD complete the following: