IPMI

You can read more about IPMI here. But in summary, this is a feature that allows us to connect to a server machine (e.g. one of our realtime FEs) over a dedicated network connection and perform tasks like cycle power to the unit, etc. It is supposed to be possible to install an OS using this interface as well.

At the time of writing, only the framebuilder, three front end machines, and one hypervisor (fb1, c1lsc, c1ioo, c1sus, and unicron) have this feature enabled.

Manual

The Supermicro IPMI setup manual may be found here. The manual for the server itself may be found here, and an addendum here.

Login Info

Once the initial setup has been done, you can login to the IPMI interface by using a web browser and connecting to the appropriate machine below. You may get a security certificate warning. If you are setting up IPMI for a new machine, be sure to check that the static IP you assign has not been already assigned to some other machine. The username is ADMIN (all caps). The passwords are listed below (also all caps).

Server name (S/N)	link (for IPMI)	password
`fb1`	http://fb1-ipmi.martian	ADMIN
`c1lsc` (SMC0025900D874C)	http://c1lsc-ipmi.martian	ADMIN
`c1sus` (SMC0025900D85D3)	http://c1sus-ipmi.martian	ADMIN
`c1ioo` (SMC0025900D8740)	http://c1ioo-ipmi.martian	ADMIN
`unicron`	https://unicron-ipmi.martian	Admin000

Once you have logged in, you will get access to a console that allows you to access various sub-menus that allow performing tasks like rebooting the machine.

Installing an OS via IPMI

This seems to be a pretty good resource. Note that you will need javaws, which can be installed with sudo apt install icedtea-netx on debian machines, to run the console redirection.