In Versal devices, power management for Linux is encapsulated in a power management driver, power domain driver, and platform firmware driver. The system-level API functions are exported and can be called by other Linux modules with GPL compatible license.
See Firmware Driver for more information about platform firmware driver.