The external/ipmi stonith device is used in this example. Please see the Heartbeat documentation for instructions on configuring other types of devices.
There is one IPMI stonith device for each node. The attributes for that resources specify which node is being controlled, and the username, password, and IP address of corresponding IPMI device.