OpenBSD manual page server

Manual Page Search Parameters

TIPMIC(4) Device Drivers Manual TIPMIC(4)

tipmicIntel Dollar Cove TI Power Management IC

tipmic* at iic?

The tipmic driver provides support for the “Intel” Dollar Cove TI Power Management ICs. These devices have temperature and voltage sensors and provide power management functionality. Sensor values are made available to acpi(4) to support Thermal Zones.

acpi(4), acpitz(4), iic(4), intro(4)

The tipmic device driver first appeared in OpenBSD 6.4.

The tipmic driver was written by Mark Kettenis <>.

June 20, 2020 OpenBSD-current