freebsd style task heap memory
adam at os.inf.tu-dresden.de
Mon Aug 15 11:57:13 CEST 2005
On Fri Aug 12, 2005 at 12:43:37 +0200, Bert van Leeuwen wrote:
> I've been trying to find info on this in the fiasco docs, but no luck
> so far. Perhaps someone on this list can give me a brief rundown. How
> is the heap memory for a freebsd_env style task allocated? I'm not
> sure whether it comes from dm_phys, rmgr, sigma0 etc. Actually, it
> would be nice if you could point me to a doc or info about how exactly
> sigma0,rmgr,dm_phys etc. interact wrt memory management.
The l4env_freebsd mode is backed by the oskit10_support_l4env_full
package. There's quite some magic involved there (don't ask details
please) but the heap memory is requested via l4dm_mem_allocate which
means it comes from dm_phys.
I guess there's no better documentation for this than the code itself...
Adam adam at os.inf.tu-dresden.de
More information about the l4-hackers