cached_fs_rom on base-linux

Norman Feske norman.feske at genode-labs.com
Tue Apr 7 14:32:13 CEST 2020


Hello Pirmin,

>  - should cached_fs_rom theoretically work on base-linux, or is there an
>    inherent restriction that prevents this?

unfortunately not. The cached_fs_component relies on core's RM service
for the on-demand population of (remote) address spaces to enforce
read-only memory mappings at the client side.

Unlike the various microkernels, Linux does not provide an appropriate
mechanism for the remote manipulation of virtual address spaces.

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



More information about the users mailing list