freebsd style task heap memory

[Bert van Leeuwen]

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!