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
Hi,
On Thu Dec 27, 2007 at 18:35:11 -0800, kazilus kazilus wrote:
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.
If this field would contain something meaningful it would not be named _resX. Just use the memory descriptors (memdesc.h).
Adam
l4-hackers@os.inf.tu-dresden.de