1.1 --- a/servers/process_server.cc Fri Mar 17 18:34:18 2023 +0100
1.2 +++ b/servers/process_server.cc Fri Mar 17 22:43:44 2023 +0100
1.3 @@ -19,6 +19,7 @@
1.4 * Boston, MA 02110-1301, USA
1.5 */
1.6
1.7 +#include <l4/sys/debugger.h>
1.8 #include <l4/sys/err.h>
1.9
1.10 #include <ipc/thread.h>
1.11 @@ -36,6 +37,8 @@
1.12
1.13 int main(int argc, char *argv[])
1.14 {
1.15 + l4_debugger_set_object_name(l4re_env()->main_thread, "process_server");
1.16 +
1.17 if (argc < 2)
1.18 {
1.19 printf("Need a region mapper.\n");