1.1 --- a/conf/dstest_block_client.cfg	Fri Mar 17 18:34:18 2023 +0100
     1.2 +++ b/conf/dstest_block_client.cfg	Fri Mar 17 22:43:44 2023 +0100
     1.3 @@ -9,6 +9,7 @@
     1.4  l:startv({
     1.5      caps = {
     1.6        fsserver = block_server:svr(),
     1.7 +      jdb = L4.Env.jdb, -- to set the server name
     1.8      },
     1.9      log = { "server", "r" },
    1.10    },

     2.1 --- a/conf/dstest_block_client_simple.cfg	Fri Mar 17 18:34:18 2023 +0100
     2.2 +++ b/conf/dstest_block_client_simple.cfg	Fri Mar 17 22:43:44 2023 +0100
     2.3 @@ -9,6 +9,7 @@
     2.4  l:startv({
     2.5      caps = {
     2.6        fsserver = block_server:svr(),
     2.7 +      jdb = L4.Env.jdb, -- to set the server name
     2.8      },
     2.9      log = { "server", "r" },
    2.10    },

     3.1 --- a/conf/dstest_exec.cfg	Fri Mar 17 18:34:18 2023 +0100
     3.2 +++ b/conf/dstest_exec.cfg	Fri Mar 17 22:43:44 2023 +0100
     3.3 @@ -9,6 +9,7 @@
     3.4  l:startv({
     3.5      caps = {
     3.6        pipeserver = pipe_server:svr(),
     3.7 +      jdb = L4.Env.jdb, -- to set the server name
     3.8      },
     3.9      log = { "pipes", "r" },
    3.10    },
    3.11 @@ -19,6 +20,7 @@
    3.12  l:startv({
    3.13      caps = {
    3.14        fsserver = block_server:svr(),
    3.15 +      jdb = L4.Env.jdb, -- to set the server name
    3.16      },
    3.17      log = { "blocks", "r" },
    3.18    },
    3.19 @@ -31,6 +33,7 @@
    3.20        blockserver = block_server,
    3.21        pipeserver = pipe_server,
    3.22        fsserver = ext2server:svr(),
    3.23 +      jdb = L4.Env.jdb, -- to set the server name
    3.24      },
    3.25      log = { "ext2", "y" },
    3.26    },
    3.27 @@ -47,6 +50,7 @@
    3.28      caps = {
    3.29        fsserver = ext2server_paulb,
    3.30        prserver = process_server:svr(),
    3.31 +      jdb = L4.Env.jdb, -- to set the server name
    3.32      },
    3.33      log = { "process", "y" },
    3.34    },

     4.1 --- a/conf/dstest_ext2.cfg	Fri Mar 17 18:34:18 2023 +0100
     4.2 +++ b/conf/dstest_ext2.cfg	Fri Mar 17 22:43:44 2023 +0100
     4.3 @@ -9,6 +9,7 @@
     4.4  l:startv({
     4.5      caps = {
     4.6        fsserver = block_server:svr(),
     4.7 +      jdb = L4.Env.jdb, -- to set the server name
     4.8      },
     4.9      log = { "blocksvr", "r" },
    4.10    },
    4.11 @@ -20,6 +21,7 @@
    4.12      caps = {
    4.13        blockserver = block_server,
    4.14        fsserver = ext2server:svr(),
    4.15 +      jdb = L4.Env.jdb, -- to set the server name
    4.16      },
    4.17      log = { "ext2svr", "y" },
    4.18    },

     5.1 --- a/conf/dstest_ext2fs_client.cfg	Fri Mar 17 18:34:18 2023 +0100
     5.2 +++ b/conf/dstest_ext2fs_client.cfg	Fri Mar 17 22:43:44 2023 +0100
     5.3 @@ -9,6 +9,7 @@
     5.4  l:startv({
     5.5      caps = {
     5.6        fsserver = block_server:svr(),
     5.7 +      jdb = L4.Env.jdb, -- to set the server name
     5.8      },
     5.9      log = { "blocksvr", "r" },
    5.10    },

     6.1 --- a/conf/dstest_file_access.cfg	Fri Mar 17 18:34:18 2023 +0100
     6.2 +++ b/conf/dstest_file_access.cfg	Fri Mar 17 22:43:44 2023 +0100
     6.3 @@ -9,6 +9,7 @@
     6.4  l:startv({
     6.5      caps = {
     6.6        pipeserver = pipe_server:svr(),
     6.7 +      jdb = L4.Env.jdb, -- to set the server name
     6.8      },
     6.9      log = { "pipes", "r" },
    6.10    },
    6.11 @@ -19,6 +20,7 @@
    6.12  l:startv({
    6.13      caps = {
    6.14        fsserver = block_server:svr(),
    6.15 +      jdb = L4.Env.jdb, -- to set the server name
    6.16      },
    6.17      log = { "blocksvr", "r" },
    6.18    },
    6.19 @@ -31,6 +33,7 @@
    6.20        blockserver = block_server,
    6.21        pipeserver = pipe_server,
    6.22        fsserver = ext2server:svr(),
    6.23 +      jdb = L4.Env.jdb, -- to set the server name
    6.24      },
    6.25      log = { "ext2svr", "y" },
    6.26    },

     7.1 --- a/conf/dstest_file_client.cfg	Fri Mar 17 18:34:18 2023 +0100
     7.2 +++ b/conf/dstest_file_client.cfg	Fri Mar 17 22:43:44 2023 +0100
     7.3 @@ -9,6 +9,7 @@
     7.4  l:startv({
     7.5      caps = {
     7.6        fsserver = block_server:svr(),
     7.7 +      jdb = L4.Env.jdb, -- to set the server name
     7.8      },
     7.9      log = { "blocksvr", "r" },
    7.10    },
    7.11 @@ -20,6 +21,7 @@
    7.12      caps = {
    7.13        blockserver = block_server,
    7.14        fsserver = ext2server:svr(),
    7.15 +      jdb = L4.Env.jdb, -- to set the server name
    7.16      },
    7.17      log = { "ext2svr", "y" },
    7.18    },

     8.1 --- a/conf/dstest_file_mapping.cfg	Fri Mar 17 18:34:18 2023 +0100
     8.2 +++ b/conf/dstest_file_mapping.cfg	Fri Mar 17 22:43:44 2023 +0100
     8.3 @@ -9,6 +9,7 @@
     8.4  l:startv({
     8.5      caps = {
     8.6        fsserver = host_server:svr(),
     8.7 +      jdb = L4.Env.jdb, -- to set the server name
     8.8      },
     8.9      log = { "server", "r" },
    8.10    },

     9.1 --- a/conf/dstest_file_monitor.cfg	Fri Mar 17 18:34:18 2023 +0100
     9.2 +++ b/conf/dstest_file_monitor.cfg	Fri Mar 17 22:43:44 2023 +0100
     9.3 @@ -9,6 +9,7 @@
     9.4  l:startv({
     9.5      caps = {
     9.6        fsserver = block_server:svr(),
     9.7 +      jdb = L4.Env.jdb, -- to set the server name
     9.8      },
     9.9      log = { "blocksvr", "r" },
    9.10    },
    9.11 @@ -20,6 +21,7 @@
    9.12      caps = {
    9.13        blockserver = block_server,
    9.14        fsserver = ext2server:svr(),
    9.15 +      jdb = L4.Env.jdb, -- to set the server name
    9.16      },
    9.17      log = { "ext2svr", "y" },
    9.18    },

    10.1 --- a/conf/dstest_file_readdir.cfg	Fri Mar 17 18:34:18 2023 +0100
    10.2 +++ b/conf/dstest_file_readdir.cfg	Fri Mar 17 22:43:44 2023 +0100
    10.3 @@ -9,6 +9,7 @@
    10.4  l:startv({
    10.5      caps = {
    10.6        pipeserver = pipe_server:svr(),
    10.7 +      jdb = L4.Env.jdb, -- to set the server name
    10.8      },
    10.9      log = { "pipes", "r" },
   10.10    },
   10.11 @@ -19,6 +20,7 @@
   10.12  l:startv({
   10.13      caps = {
   10.14        fsserver = block_server:svr(),
   10.15 +      jdb = L4.Env.jdb, -- to set the server name
   10.16      },
   10.17      log = { "blocksvr", "r" },
   10.18    },
   10.19 @@ -31,6 +33,7 @@
   10.20        blockserver = block_server,
   10.21        pipeserver = pipe_server,
   10.22        fsserver = ext2server:svr(),
   10.23 +      jdb = L4.Env.jdb, -- to set the server name
   10.24      },
   10.25      log = { "ext2svr", "y" },
   10.26    },

    11.1 --- a/conf/dstest_file_readdir_concurrent.cfg	Fri Mar 17 18:34:18 2023 +0100
    11.2 +++ b/conf/dstest_file_readdir_concurrent.cfg	Fri Mar 17 22:43:44 2023 +0100
    11.3 @@ -9,6 +9,7 @@
    11.4  l:startv({
    11.5      caps = {
    11.6        pipeserver = pipe_server:svr(),
    11.7 +      jdb = L4.Env.jdb, -- to set the server name
    11.8      },
    11.9      log = { "pipes", "r" },
   11.10    },
   11.11 @@ -19,6 +20,7 @@
   11.12  l:startv({
   11.13      caps = {
   11.14        fsserver = block_server:svr(),
   11.15 +      jdb = L4.Env.jdb, -- to set the server name
   11.16      },
   11.17      log = { "blocksvr", "r" },
   11.18    },
   11.19 @@ -31,6 +33,7 @@
   11.20        blockserver = block_server,
   11.21        pipeserver = pipe_server,
   11.22        fsserver = ext2server:svr(),
   11.23 +      jdb = L4.Env.jdb, -- to set the server name
   11.24      },
   11.25      log = { "ext2svr", "y" },
   11.26    },

    12.1 --- a/conf/dstest_file_remove.cfg	Fri Mar 17 18:34:18 2023 +0100
    12.2 +++ b/conf/dstest_file_remove.cfg	Fri Mar 17 22:43:44 2023 +0100
    12.3 @@ -9,6 +9,7 @@
    12.4  l:startv({
    12.5      caps = {
    12.6        pipeserver = pipe_server:svr(),
    12.7 +      jdb = L4.Env.jdb, -- to set the server name
    12.8      },
    12.9      log = { "pipes", "r" },
   12.10    },
   12.11 @@ -19,6 +20,7 @@
   12.12  l:startv({
   12.13      caps = {
   12.14        fsserver = block_server:svr(),
   12.15 +      jdb = L4.Env.jdb, -- to set the server name
   12.16      },
   12.17      log = { "blocksvr", "r" },
   12.18    },
   12.19 @@ -31,6 +33,7 @@
   12.20        blockserver = block_server,
   12.21        pipeserver = pipe_server,
   12.22        fsserver = ext2server:svr(),
   12.23 +      jdb = L4.Env.jdb, -- to set the server name
   12.24      },
   12.25      log = { "ext2svr", "y" },
   12.26    },

    13.1 --- a/conf/dstest_file_rename.cfg	Fri Mar 17 18:34:18 2023 +0100
    13.2 +++ b/conf/dstest_file_rename.cfg	Fri Mar 17 22:43:44 2023 +0100
    13.3 @@ -9,6 +9,7 @@
    13.4  l:startv({
    13.5      caps = {
    13.6        pipeserver = pipe_server:svr(),
    13.7 +      jdb = L4.Env.jdb, -- to set the server name
    13.8      },
    13.9      log = { "pipes", "r" },
   13.10    },
   13.11 @@ -19,6 +20,7 @@
   13.12  l:startv({
   13.13      caps = {
   13.14        fsserver = block_server:svr(),
   13.15 +      jdb = L4.Env.jdb, -- to set the server name
   13.16      },
   13.17      log = { "blocksvr", "r" },
   13.18    },
   13.19 @@ -31,6 +33,7 @@
   13.20        blockserver = block_server,
   13.21        pipeserver = pipe_server,
   13.22        fsserver = ext2server:svr(),
   13.23 +      jdb = L4.Env.jdb, -- to set the server name
   13.24      },
   13.25      log = { "ext2svr", "y" },
   13.26    },

    14.1 --- a/conf/dstest_fsaccess.cfg	Fri Mar 17 18:34:18 2023 +0100
    14.2 +++ b/conf/dstest_fsaccess.cfg	Fri Mar 17 22:43:44 2023 +0100
    14.3 @@ -9,6 +9,7 @@
    14.4  l:startv({
    14.5      caps = {
    14.6        pipeserver = pipe_server:svr(),
    14.7 +      jdb = L4.Env.jdb, -- to set the server name
    14.8      },
    14.9      log = { "pipes", "r" },
   14.10    },
   14.11 @@ -19,6 +20,7 @@
   14.12  l:startv({
   14.13      caps = {
   14.14        fsserver = block_server:svr(),
   14.15 +      jdb = L4.Env.jdb, -- to set the server name
   14.16      },
   14.17      log = { "blocksvr", "r" },
   14.18    },
   14.19 @@ -31,6 +33,7 @@
   14.20        blockserver = block_server,
   14.21        pipeserver = pipe_server,
   14.22        fsserver = ext2server:svr(),
   14.23 +      jdb = L4.Env.jdb, -- to set the server name
   14.24      },
   14.25      log = { "ext2svr", "y" },
   14.26    },

    15.1 --- a/conf/dstest_host_client.cfg	Fri Mar 17 18:34:18 2023 +0100
    15.2 +++ b/conf/dstest_host_client.cfg	Fri Mar 17 22:43:44 2023 +0100
    15.3 @@ -9,6 +9,7 @@
    15.4  l:startv({
    15.5      caps = {
    15.6        fsserver = host_server:svr(),
    15.7 +      jdb = L4.Env.jdb, -- to set the server name
    15.8      },
    15.9      log = { "server", "r" },
   15.10    },

    16.1 --- a/conf/dstest_host_readdir.cfg	Fri Mar 17 18:34:18 2023 +0100
    16.2 +++ b/conf/dstest_host_readdir.cfg	Fri Mar 17 22:43:44 2023 +0100
    16.3 @@ -9,6 +9,7 @@
    16.4  l:startv({
    16.5      caps = {
    16.6        pipeserver = pipe_server:svr(),
    16.7 +      jdb = L4.Env.jdb, -- to set the server name
    16.8      },
    16.9      log = { "pipes", "r" },
   16.10    },
   16.11 @@ -20,6 +21,7 @@
   16.12      caps = {
   16.13        pipeserver = pipe_server,
   16.14        fsserver = host_server:svr(),
   16.15 +      jdb = L4.Env.jdb, -- to set the server name
   16.16      },
   16.17      log = { "server", "r" },
   16.18    },

    17.1 --- a/conf/dstest_pipe_client.cfg	Fri Mar 17 18:34:18 2023 +0100
    17.2 +++ b/conf/dstest_pipe_client.cfg	Fri Mar 17 22:43:44 2023 +0100
    17.3 @@ -9,6 +9,7 @@
    17.4  l:startv({
    17.5      caps = {
    17.6        pipeserver = pipe_server:svr(),
    17.7 +      jdb = L4.Env.jdb, -- to set the server name
    17.8      },
    17.9      log = { "server", "r" },
   17.10    },

    18.1 --- a/conf/dstest_test_client.cfg	Fri Mar 17 18:34:18 2023 +0100
    18.2 +++ b/conf/dstest_test_client.cfg	Fri Mar 17 22:43:44 2023 +0100
    18.3 @@ -9,6 +9,7 @@
    18.4  l:startv({
    18.5      caps = {
    18.6        fsserver = test_server:svr(),
    18.7 +      jdb = L4.Env.jdb, -- to set the server name
    18.8      },
    18.9      log = { "server", "r" },
   18.10    },

    19.1 --- a/servers/block_file_server.cc	Fri Mar 17 18:34:18 2023 +0100
    19.2 +++ b/servers/block_file_server.cc	Fri Mar 17 22:43:44 2023 +0100
    19.3 @@ -19,6 +19,7 @@
    19.4   * Boston, MA  02110-1301, USA
    19.5   */
    19.6  
    19.7 +#include <l4/sys/debugger.h>
    19.8  #include <l4/sys/err.h>
    19.9  
   19.10  #include <ipc/thread.h>
   19.11 @@ -45,6 +46,7 @@
   19.12  
   19.13  int main(int argc, char *argv[])
   19.14  {
   19.15 +  l4_debugger_set_object_name(l4re_env()->main_thread, "block_server");
   19.16    long err;
   19.17  
   19.18    /* Introduce concurrency control. */

    20.1 --- a/servers/client_file_server.cc	Fri Mar 17 18:34:18 2023 +0100
    20.2 +++ b/servers/client_file_server.cc	Fri Mar 17 22:43:44 2023 +0100
    20.3 @@ -20,6 +20,7 @@
    20.4   * Boston, MA  02110-1301, USA
    20.5   */
    20.6  
    20.7 +#include <l4/sys/debugger.h>
    20.8  #include <l4/sys/err.h>
    20.9  
   20.10  #include <ipc/thread.h>
   20.11 @@ -46,6 +47,7 @@
   20.12  
   20.13  int main(int argc, char *argv[])
   20.14  {
   20.15 +  l4_debugger_set_object_name(l4re_env()->main_thread, "client_server");
   20.16    long err;
   20.17  
   20.18    /* Introduce concurrency control. */

    21.1 --- a/servers/ext2_file_server.cc	Fri Mar 17 18:34:18 2023 +0100
    21.2 +++ b/servers/ext2_file_server.cc	Fri Mar 17 22:43:44 2023 +0100
    21.3 @@ -19,6 +19,7 @@
    21.4   * Boston, MA  02110-1301, USA
    21.5   */
    21.6  
    21.7 +#include <l4/sys/debugger.h>
    21.8  #include <l4/sys/err.h>
    21.9  
   21.10  #include <ipc/thread.h>
   21.11 @@ -46,6 +47,8 @@
   21.12  
   21.13  int main(int argc, char *argv[])
   21.14  {
   21.15 +  l4_debugger_set_object_name(l4re_env()->main_thread, "ext2_server");
   21.16 +
   21.17    /* Require filesystem object details. */
   21.18  
   21.19    if (argc < 3)

    22.1 --- a/servers/host_file_server.cc	Fri Mar 17 18:34:18 2023 +0100
    22.2 +++ b/servers/host_file_server.cc	Fri Mar 17 22:43:44 2023 +0100
    22.3 @@ -19,6 +19,7 @@
    22.4   * Boston, MA  02110-1301, USA
    22.5   */
    22.6  
    22.7 +#include <l4/sys/debugger.h>
    22.8  #include <l4/sys/err.h>
    22.9  
   22.10  #include <ipc/thread.h>
   22.11 @@ -45,6 +46,7 @@
   22.12  
   22.13  int main(int argc, char *argv[])
   22.14  {
   22.15 +  l4_debugger_set_object_name(l4re_env()->main_thread, "host_server");
   22.16    long err;
   22.17  
   22.18    /* Introduce concurrency control. */

    23.1 --- a/servers/pipe_server.cc	Fri Mar 17 18:34:18 2023 +0100
    23.2 +++ b/servers/pipe_server.cc	Fri Mar 17 22:43:44 2023 +0100
    23.3 @@ -19,6 +19,8 @@
    23.4   * Boston, MA  02110-1301, USA
    23.5   */
    23.6  
    23.7 +#include <l4/re/env.h>
    23.8 +#include <l4/sys/debugger.h>
    23.9  #include <l4/sys/err.h>
   23.10  
   23.11  #include <ipc/thread.h>
   23.12 @@ -37,6 +39,7 @@
   23.13  
   23.14  int main(int argc, char *argv[])
   23.15  {
   23.16 +  l4_debugger_set_object_name(l4re_env()->main_thread, "pipe_server");
   23.17    long err;
   23.18  
   23.19    /* Introduce concurrency control. */

    24.1 --- a/servers/process_server.cc	Fri Mar 17 18:34:18 2023 +0100
    24.2 +++ b/servers/process_server.cc	Fri Mar 17 22:43:44 2023 +0100
    24.3 @@ -19,6 +19,7 @@
    24.4   * Boston, MA  02110-1301, USA
    24.5   */
    24.6  
    24.7 +#include <l4/sys/debugger.h>
    24.8  #include <l4/sys/err.h>
    24.9  
   24.10  #include <ipc/thread.h>
   24.11 @@ -36,6 +37,8 @@
   24.12  
   24.13  int main(int argc, char *argv[])
   24.14  {
   24.15 +  l4_debugger_set_object_name(l4re_env()->main_thread, "process_server");
   24.16 +
   24.17    if (argc < 2)
   24.18    {
   24.19      printf("Need a region mapper.\n");

    25.1 --- a/servers/test_file_server.cc	Fri Mar 17 18:34:18 2023 +0100
    25.2 +++ b/servers/test_file_server.cc	Fri Mar 17 22:43:44 2023 +0100
    25.3 @@ -19,6 +19,7 @@
    25.4   * Boston, MA  02110-1301, USA
    25.5   */
    25.6  
    25.7 +#include <l4/sys/debugger.h>
    25.8  #include <l4/sys/err.h>
    25.9  
   25.10  #include <ipc/thread.h>
   25.11 @@ -42,6 +43,7 @@
   25.12  
   25.13  int main(int argc, char *argv[])
   25.14  {
   25.15 +  l4_debugger_set_object_name(l4re_env()->main_thread, "test_server");
   25.16    long err;
   25.17  
   25.18    /* Introduce concurrency control. */