Skip to Content
FreeBSD Device Drivers
book

FreeBSD Device Drivers

by Joseph Kong
April 2012
Intermediate to advanced
352 pages
8h
English
No Starch Press
Content preview from FreeBSD Device Drivers

Chapter 11. Case Study: Intelligent Platform Management Interface Driver

image with no caption

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 ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Embedded Linux

Embedded Linux

John Lombardo
Essential Linux Device Drivers

Essential Linux Device Drivers

Sreekrishnan Venkateswaran

Publisher Resources

ISBN: 9781457166716Errata