Physical memory allocation.

Norman Feske norman.feske at ...1...
Mon Mar 18 10:35:58 CET 2013

Hi Daniel,

> For the purpose of NUMA based memory management, I would like to have
> Genode allow me to allocate physical memory at a specified address,
> i.e., support something like...
> |||||||||virtual| ||Ram_dataspace_capability ||alloc||_at(|||size_t
> ||size|||, addr_t start_address, |||bool ||cached|| |=| true|)||| ||=| 0|;
> I figure I can temporarily hack this by extending
> Ram_session_component::alloc and using Range_allocator::alloc_addr.
> Is there any danger here?

no worries, that's just fine. :-)

> Can Genode be persuaded to extend the main line to support this?  An
> address range parameter instead of start address would be even better,
> i.e., try to allocate me some RAM somewhere between physical address X
> and Y.

Sure. To push it forward, please open a new topic at our issue tracker.
So we can take the discussion of the details there.

Best regards

Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list