Supported PMIC's

I saw this mentioned on one of the topics here ; “Xiaomi MIPAD tablet was powered with TK1 and LPDDR3 memory, But the OS is android and PMIC is from TI.”
Question ; Is there list of supported PMIC’s available? Especially for the battery powered devices. AMS3722+AMS3728 used on Jetson board doesn’t support really a battery powered device.

For the TK1 embedded platform, Only Jetson TK1 reference design is available. The customized PMIC is AMS3722+AMS3728.
If you want to support battery, the external charger IC could be a solution