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. |
||
|---|---|---|
| .. | ||
| base | ||
| core | ||
| kernel | ||
| platform | ||
| test | ||