Chapter 11. Case Study: Intelligent Platform Management Interface Driver
This chapter examines parts of ipmi(4), the Intelligent Platform Management Interface (IPMI) driver. The IPMI specification defines a standard for monitoring and managing system hardware.
Note
For our purposes, this description of IPMI is sufficient, as the point of this chapter is to demonstrate how PCI drivers such as ipmi(4) employ PMIO and MMIO.
The code base for ipmi(4) is composed of 10 source files and 1 header file. In this chapter, we’ll walk through one of these files, ipmi_pci.c, which contains code that’s related to the PCI bus.
Code Analysis
Example 11-1 provides a ...
Get FreeBSD Device Drivers now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
