OK, thanks, that already helps me know where to look.
On 15/08/05, Adam Lackorzynski adam@os.inf.tu-dresden.de wrote:
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...