i tried get kernel info page from l4_kernel_interface(), but it returns 0 for _res4 array which i assume contained info of reserved memory and dedicated memory.
any idea about it?
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now.