Hi Earlence,

You can find an implementation of m4if into
os/src/server/tz_vmm/imx53/m4if.h. Thus, for example, main.cc file (same
directory) makes use of _m4if.set_region(...,...); function to configure
secure ram region for Secure World.

Pablo.

El 27.01.2014 22:05, Earlence Fernandes escribió:

> 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

> ------------------------------------------------------------------------------
> CenturyLink Cloud: The Leader in Enterprise Cloud Services.
> Learn Why More Businesses Are Choosing CenturyLink Cloud For
> Critical Workloads, Development Environments & Everything In Between.
> Get a Quote or Start a Free Trial Today.
> http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk
>
> _______________________________________________
> Genode-main mailing list
> Genode-main@...49....sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

------------------------------------------------------------------------------
WatchGuard Dimension instantly turns raw network data into actionable
security intelligence. It gives you real-time visual feedback on key
security issues and trends.  Skip the complicated setup - simply import
a virtual appliance and go from zero to informed in seconds.
http://pubads.g.doubleclick.net/gampad/clk?id=123612991&iu=/4140/ostg.clktrk
_______________________________________________
Genode-main mailing list
Genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main