1.1 --- a/libexec/lib/src/internal_pager.cc Fri Mar 03 18:15:38 2023 +0100
1.2 +++ b/libexec/lib/src/internal_pager.cc Fri Mar 03 19:29:33 2023 +0100
1.3 @@ -30,6 +30,7 @@
1.4
1.5 #include "dataspace_client.h"
1.6 #include "internal_pager.h"
1.7 +#include "pager_object_server.h"
1.8
1.9
1.10
1.11 @@ -44,6 +45,13 @@
1.12 {
1.13 }
1.14
1.15 +ipc_server_default_config_type InternalPager::config()
1.16 +{
1.17 + return config_PagerObject;
1.18 +}
1.19 +
1.20 +
1.21 +
1.22 /* Handle a general exception. */
1.23
1.24 long InternalPager::exception(l4_exc_regs_t regs, l4_snd_fpage_t *region)