1.1 --- a/libexec/lib/src/external_pager.cc Fri Mar 03 18:15:38 2023 +0100
1.2 +++ b/libexec/lib/src/external_pager.cc Fri Mar 03 19:29:33 2023 +0100
1.3 @@ -237,6 +237,8 @@
1.4 /* NOTE: Capability indexes to be obtained from the process creation
1.5 activity. */
1.6
1.7 + /* Parent and pager/region mapper. */
1.8 +
1.9 l4_task_unmap(_task, l4_obj_fpage(0x13UL << L4_CAP_SHIFT, 0, L4_CAP_FPAGE_RWSD), L4_FP_ALL_SPACES);
1.10 l4_task_unmap(_task, l4_obj_fpage(0x19UL << L4_CAP_SHIFT, 0, L4_CAP_FPAGE_RWSD), L4_FP_ALL_SPACES);
1.11 }