The iMX53 security manual and multimedia ref manual states that there is a configurable set of registers in the CSU that control watermark regions on the M4IF.

I am grepping thru genode code but can't find this code. Is there some module/driver that handles these registers?

-Earlence