Hi,
ST1S10PUR is used on the baseboard, it has 3A output current capability.
You'll find the formulas for calculating the ripple current in the datasheet.
But as the load consist of several switchmode regulators, its nearly impossible to calculate.
Typical measured value is less then 20mV, with TE0600 and loaded reference design (about 500mA current consumption).
best regards
Thorsten Trenz