15 Aug
2005
15 Aug
'05
12:13 p.m.
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...