Hello @MarkusÖsterle ,
The information about switching frequency is not available.
The S32K3xx - Hardware Design Guidelines, Rev. E2, recommends Schottky diode and 4.7uH - 5.6uH .
The S32K3xx Data Sheet, Rev. 13, specifies 2A Schottky diode and typ. 4.7uH.
Board S32K3x8-Q289 uses PMEG4050EP and 5.6uH, as well as S32K388EVB-Q289. Detailed part number and manufacturer can be found in the BOM file for the board.
Best regards,
Pavel