1.1 --- a/tests/dstest_exec.cc	Sun Jun 12 17:50:58 2022 +0200
     1.2 +++ b/tests/dstest_exec.cc	Sun Jun 12 18:04:17 2022 +0200
     1.3 @@ -58,13 +58,13 @@
     1.4    ExplicitSegment stack(Utcb_area_start - initial_stack_size, initial_stack_size, L4_FPAGE_RW);
     1.5    Payload *payload;
     1.6  
     1.7 -  if (exec_get_payload(argv[1], &payload))
     1.8 +  if (exec_get_payload(argv[1], &payload, true))
     1.9    {
    1.10      printf("Could not initialise program.\n");
    1.11      return 1;
    1.12    }
    1.13  
    1.14 -  if (stack.allocate())
    1.15 +  if (stack.allocate(true))
    1.16    {
    1.17      printf("Could not allocate stack.\n");
    1.18      return 1;
    1.19 @@ -113,7 +113,7 @@
    1.20  
    1.21    Process process;
    1.22  
    1.23 -  err = process.configure(config.server);
    1.24 +  err = process.configure_task();
    1.25  
    1.26    if (err)
    1.27    {
    1.28 @@ -121,6 +121,14 @@
    1.29      return 1;
    1.30    }
    1.31  
    1.32 +  err = process.configure_thread(config.server);
    1.33 +
    1.34 +  if (err)
    1.35 +  {
    1.36 +    printf("Could not configure thread.\n");
    1.37 +    return 1;
    1.38 +  }
    1.39 +
    1.40    /* Populate a thread stack with argument and environment details. */
    1.41  
    1.42    Stack st(stack);