mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 18:06:50 +00:00
4736488d99
On seL4, we need to convert untyped memory to page frames before being able to use it as normal memory. There already exists the hook function '_export_ds' that is principally suitable for such tasks. It is currently solely used on Linux where we have to create a file for each dataspace. To make the hook useful also for seL4, we need to call _export_ds prior _clear_ds. Otherwise, we would try to clear memory that is still untyped.
This directory contains all source codes.