Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Dec 28 10:16:11 CET 2007


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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list