armemu: grabbing file

[Norman Feske]

Hi Michael,

On 12.11.20 13:10, Michael Grunditz wrote:
> Now on to my question:
> I need to get my executable (32 bit binary) into a ds. Do I need to do
> read() / copy everything in or is there some magic bits I can use?

we usually use ROM modules for that, which can either be provided as
boot modules or by a ROM server.

Given the 32-bit binary supplied as boot module, your program would
request a ROM session with the name of the boot module as label and
obtain the dataspace with the content via 'Rom_session::dataspace'. You
may also have a look at 'Attached_rom_dataspace', which is a convenient
wrapper around the lower-level mechanisms.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

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