/os/kernelhwsrv/kernel/eka/include/memmodel/emul/ default tip
drwxr-xr-x [up]
drwxr-xr-x win32
-rw-r--r-- 2014-06-10 14:32 +0200 1371 plat_priv.h
-rw-r--r-- 2014-06-10 14:32 +0200 625 platform.h