freebsd style task heap memory

[Bert van Leeuwen]

OK, thanks, that already helps me know where to look.

On 15/08/05, Adam Lackorzynski <adam at 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...
>