Part Number: AM5728
Other Parts Discussed in Thread: TPS659037
Section A.20 of
"AM572x Industrial Development Kit (IDK) Evaluation Module (EVM) Hardware User's Guide" at

says "TPS6590377 PMIC ... powers off the DDR supply at the wrong time. The default programming has been corrected in the TPS6590379 PMIC. "
But TPS6590379 seems to not exist.
Has this been corrected in TPS6590377 and '376?
Or what is the currently recommended PMIC to power the AM5728?