Event ID 1001 — IPMI Driver Functionality

Applies To: Windows Server 2008

The IPMI driver supplies the IPMI WMI provider with data from the Baseboard Management Controller (BMC).

The IPMI driver is a Windows Driver Model (WDM) kernel mode driver that communicates with the BMC by using Keyboard Controller Style (KCS). For more information about driver installation, see Installation and Configuration for Windows Remote Management. The IPMI driver appears in the Device Manager as Microsoft SMBIOS Generic IPMI Compliant Device.

Event Details

Product: Windows Operating System
ID: 1001
Version: 6.0
Symbolic Name: BMC_ERR_SMBIOS
Message: The IPMI device driver attempted to determine if the system supported an IPMI BMC device. The driver attempted to detect the presence of the IPMI BMC by searching the SMBIOS for a Type38 record. But either no record was found or the record was not compatible with the version of the device driver. If a SMBIOS Type 38 record was detected, the Dump Data field of the event contains a binary representation of the record.


Get an updated BIOS from your hardware platform vendor.

Contact the hardware vendor to get an updated BIOS that supports IPMI registration via a SMBIOS Type38 record.


To test that the IPMI driver is functioning correctly, check that it loaded successfully and check that the RequestResponseEx method of the Microsoft_IPMI WMI class returns a CompletionCode of 0 (Command completed normally.)

To check that the driver loaded successfully:

  1. Click on Start, then click on Start Search.
  2. Type Device Manager and click Enter to open the Device Manager window.
  3. Open the System devices node and locate Microsoft Generic IPMI Compliant Device.
  4. Note whether there is an exclamation mark beside the device name. If there is no exclamation mark, the driver has loaded successfully.



IPMI Driver Functionality

Management Infrastructure