1.1 --- a/libipc/lib/src/server.c Mon Mar 20 09:23:22 2023 +0100
1.2 +++ b/libipc/lib/src/server.c Mon Mar 20 14:52:03 2023 +0100
1.3 @@ -206,7 +206,7 @@
1.4 config->thread = thread;
1.5 config->config_thread = 1;
1.6
1.7 - return ipc_server_start_config(config);
1.8 + return ipc_server_prepare_config(config);
1.9 }
1.10
1.11
1.12 @@ -361,9 +361,9 @@
1.13 config->irq = L4_INVALID_CAP;
1.14 }
1.15
1.16 -/* Initialise and start a server using the given configuration. */
1.17 +/* Initialise but do not start a server using the given configuration. */
1.18
1.19 -long ipc_server_start_config(ipc_server_config_type *config)
1.20 +long ipc_server_prepare_config(ipc_server_config_type *config)
1.21 {
1.22 long err;
1.23
1.24 @@ -391,6 +391,18 @@
1.25 ipc_init_irq(config->irq);
1.26 }
1.27
1.28 + return L4_EOK;
1.29 +}
1.30 +
1.31 +/* Initialise and start a server using the given configuration. */
1.32 +
1.33 +long ipc_server_start_config(ipc_server_config_type *config)
1.34 +{
1.35 + long err = ipc_server_prepare_config(config);
1.36 +
1.37 + if (err)
1.38 + return err;
1.39 +
1.40 /* With a separate thread, return the last status value. Otherwise, invoke the
1.41 main loop. */
1.42