1.1 --- a/libexec/rm/region_mapper.cc Tue Feb 28 22:40:02 2023 +0100
1.2 +++ b/libexec/rm/region_mapper.cc Fri Mar 03 18:15:38 2023 +0100
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * A region mapper for deployment in a new task.
1.6 *
1.7 - * Copyright (C) 2022 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2022, 2023 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -69,7 +69,16 @@
1.13 printf("Pager capability: %lx\n", l4re_env_get_cap("server"));
1.14 printf("Main thread: %lx\n", l4re_env()->main_thread);
1.15
1.16 - ipc_server_loop_for(PagerObject, &exec_pager, "server");
1.17 + /* Initialise the server, enabling notifications. */
1.18 +
1.19 + ipc_server_config_type config;
1.20 + ipc_server_init_for(&config, PagerObject, &exec_pager);
1.21 + config.notifications = 1;
1.22 +
1.23 + /* Bind to the named capability and serve until the IPC gate is released. */
1.24 +
1.25 + ipc_server_bind("server", (l4_umword_t) &config, &config.server);
1.26 + ipc_server_start_config(&config);
1.27
1.28 printf("Ending pager...\n");
1.29 return 0;