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!