The Kinetis SDK provides a HAL driver for the Power Management Controller (PMC) block of Kinetis devices.