If the IPMI device is dynamically loaded, then the output must be similar to the following:
# ls -l /dev/ipmi0 crw------- 1 root root 253, 0 Sep 23 06:29 /dev/ipmi0
If you do see the device file output, then the IPMI driver is configured, and you can ignore the following step.
If you do not see the device file output, then the udevd
daemon is not set up to create device files automatically. Proceed to the next step.