/os/kernelhwsrv/kernel/eka/memmodel/epoc/flexible/arm/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2014-06-10 14:32 +0200 3289 xdefs.h
-rw-r--r-- 2014-06-10 14:32 +0200 1745 xinit.cpp
-rw-r--r-- 2014-06-10 14:32 +0200 5622 xipc.cia
-rw-r--r-- 2014-06-10 14:32 +0200 2190 xkernel.cia
-rw-r--r-- 2014-06-10 14:32 +0200 2753 xkernel.cpp
-rw-r--r-- 2014-06-10 14:32 +0200 1030 xmonitor.cia
-rw-r--r-- 2014-06-10 14:32 +0200 718 xmonitor.cpp
-rw-r--r-- 2014-06-10 14:32 +0200 9389 xsched.cia
-rw-r--r-- 2014-06-10 14:32 +0200 1533 xsched.cpp