Retire POSIX_PROCESS_INIT_PIDS and assign PID 1 to the init process by
default. This improves consistency and reduces configuration complexity.
Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Andrei Tatar <andrei@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Reviewed-by: Andrei Tatar <andrei@unikraft.io>
GitHub-Closes: #1627
endif
-menuconfig LIBPOSIX_PROCESS_MULTIPROCESS
+config LIBPOSIX_PROCESS_MULTIPROCESS
bool "Multiprocess support"
depends on HAVE_VFS
select LIBPOSIX_PROCESS_MULTITHREADING
select LIBPOSIX_PROCESS_EXECVE
-if LIBPOSIX_PROCESS_MULTIPROCESS
-
-config LIBPOSIX_PROCESS_INIT_PIDS
- bool "Assign PID during boot"
-
-endif
-
config LIBPOSIX_PROCESS_SIGNAL
bool "POSIX signals (EXPERIMENTAL)"
select LIBPOSIX_PROCESS_MULTITHREADING
#if CONFIG_LIBPOSIX_PROCESS_MULTITHREADING
-#define TIDMAP_SIZE (CONFIG_LIBPOSIX_PROCESS_MAX_PID + 1)
+#define UK_PID_INIT 1
+#define TIDMAP_SIZE (CONFIG_LIBPOSIX_PROCESS_MAX_PID + 1)
/* Notice: The RUNNING state is not necessarily in sync with the state
* of the underlying uk_thread (may be blocked by the scheduler).