include/uk/init: Add main thread to init ctx

Add a new field to init ctx for the thread that executes main().
If main() does not execute on a separate thread, this is set to
NULL.

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Andrei Tatar <andrei@unikraft.io>
Approved-by: Sergiu Moga <sergiu@unikraft.io>
Reviewed-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
GitHub-Closes: #1620

diff --git a/include/uk/init.h b/include/uk/init.h
index 4bd6472bd9152cba148373ddb14c2942387c6031..36b4bc1531cdae3fd992cbac108ac3df6ec2cb7d 100644 (file)
--- a/include/uk/init.h
+++ b/include/uk/init.h
@@ -39,6 +39,10 @@
 #include <uk/essentials.h>
 #include <uk/prio.h>
 
+#if CONFIG_LIBUKSCHED
+#include <uk/thread.h>
+#endif /* CONFIG_LIBUKSCHED */
+
 #ifdef __cplusplus
 extern "C" {
 #endif
@@ -48,6 +52,12 @@ struct uk_init_ctx {
                int    argc;
                char **argv;
        } cmdline;
+#if CONFIG_LIBUKSCHED
+       /* Set if main() executes on a separate thread,
+        * otherwise NULL.
+        */
+       struct uk_thread *tmain;
+#endif /* CONFIG_LIBUKSCHED */
 
        /* reserved for future additions */
 };