kazilus kazilus amadkamal at yahoo.com
Fri Dec 28 03:35:11 CET 2007

Hi all,

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.  http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20071227/8657ef9d/attachment.html>

More information about the l4-hackers mailing list