freebsd style task heap memory

Bert van Leeuwen bert.vanleeuwen at
Fri Aug 12 12:43:37 CEST 2005

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.

Thanks in advance!

More information about the l4-hackers mailing list