freebsd style task heap memory

Bert van Leeuwen bert.vanleeuwen at
Mon Aug 15 12:13:30 CEST 2005

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

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

More information about the l4-hackers mailing list