ipmidriver.txt Driver File Contents (33p2582.zip)

                IPMI Driver for SR460AC4 Release Notes
                 Copyright (c) 2000 Intel Corporation
                         All Rights Reserved
                            July 14, 2000


The IPMI Driver is an EFI driver that provides IPMI protocol interface 
between the server management firmware and an EFI application program.

RELEASE NOTES FOR IPMI DRIVER VERSION 1.2

A. CHANGES SINCE PREVIOUS VERSION 1.1

   1. Updated the KCS protocol per the "Addenda, Errata, and Clarifications IPMI
      Specification v1.0, rev 1.1, Addendum Document rev 3", June 6, 2000
      This new update is not backward compatible with the previous KCS protocol.
      Use IPMI driver version 1.1 if running a BMC that supports previous KCS protocol.
   2. Added ability to unload the driver.

B. DEPENDENCIES

   1. Executes under the EFI Shell Ver 0.99 or greater.
   2. Requires BIOS 50 or later.
   3. Requires BMC 10 or later.
   4. Requires the EFI Shell commands "dh" and "unload" to unload the driver 
      (see section D).

C. HOW TO USE THIS DRIVER

   1. Boot to EFI nshell.
   2. Load the IPMI driver as follows

             load ipmi.efi

D. HOW TO UNLOAD THIS DRIVER

   1. List all the device handles by using the EFI command "dh" and record the
      handle of the IPMI driver.
      Note that "dh" displays the handles on the left side of each device name.
   2. Use the EFI command "unload x", where "x" is the ipmi driver's device
      handle obtained from item D.1.

E. KNOWN ISSUES

   1. NONE

F. PVCS TAG VERSION

   1. v03

G. TOOLS USED IN BUILD

   1. Intel IA64 SDK Tools v2.0
   2. EFI v0.99
   3. EFI-AT v0.82
   4. MS C/C++ Compiler for IA-64 v13.00.8781

(end)
Download Driver Pack

How To Update Drivers Manually

After your driver has been downloaded, follow these simple steps to install it.

  • Expand the archive file (if the download file is in zip or rar format).

  • If the expanded file has an .exe extension, double click it and follow the installation instructions.

  • Otherwise, open Device Manager by right-clicking the Start menu and selecting Device Manager.

  • Find the device and model you want to update in the device list.

  • Double-click on it to open the Properties dialog box.

  • From the Properties dialog box, select the Driver tab.

  • Click the Update Driver button, then follow the instructions.

Very important: You must reboot your system to ensure that any driver updates have taken effect.

For more help, visit our Driver Support section for step-by-step videos on how to install drivers for every file type.

server: ftp, load: 1.95