1.1 --- a/libexec/lib/src/external_pager.cc Sun Feb 26 22:19:31 2023 +0100
1.2 +++ b/libexec/lib/src/external_pager.cc Mon Feb 27 14:46:13 2023 +0100
1.3 @@ -29,6 +29,7 @@
1.4 #include <stdio.h>
1.5
1.6 #include "external_pager.h"
1.7 +#include "parent_pager_object_server.h"
1.8
1.9
1.10
1.11 @@ -43,6 +44,11 @@
1.12 {
1.13 }
1.14
1.15 +ipc_server_default_config_type ExternalPager::config()
1.16 +{
1.17 + return config_ParentPagerObject;
1.18 +}
1.19 +
1.20 /* Handle a general exception. */
1.21
1.22 long ExternalPager::exception(l4_exc_regs_t regs, l4_snd_fpage_t *region)