Sorry aside from the comments scattered through various files there is no other documentation.
Adrian On Sat 10-Mar-2018 7:06 AM, Vasily A. Sartakov wrote: > Hello > >> >> The physical address is not necessarily stored anywhere, as this is >> dependent on the specific untyped manager. There is an interface function >> `allocman_utspace_paddr` >> (https://github.com/seL4/seL4_libs/blob/master/libsel4allocman/include/allocman/allocman.h#L410) >> that will call into the attached untyped manager and ask it for the >> physical address. This relies on allocman having been told about the >> physical addresses of untypeds to begin with. > > A time ago, I had several problems with a debugging of memory allocation, > and, while most of them are fixed, still do not have the clear understanding > how this stuff works. do you have any structured documentation about allocman? > _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel