From 62c6bdddf72ae8451102ae28d7256dea314a6ce4 Mon Sep 17 00:00:00 2001
From: Michalis Pappas <michalis@unikraft.io>
Date: Wed, 26 Mar 2025 08:51:08 +0100
Subject: [PATCH] lib/posix-process: Fix assertion in execve()

Update assertion to check against UK_PID_INIT instead of zero.

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
---
 lib/posix-process/execve.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/posix-process/execve.c b/lib/posix-process/execve.c
index f04cf20ed..55d48e04a 100644
--- a/lib/posix-process/execve.c
+++ b/lib/posix-process/execve.c
@@ -46,7 +46,7 @@ static void __noreturn execve_ctx_switch(long arg0, long arg1)
 	 */
 	if (!pthread_parent) {
 		UK_ASSERT(pthread->process);
-		UK_ASSERT(pthread->process->pid == 0);
+		UK_ASSERT(pthread->process->pid == UK_PID_INIT);
 		goto switch_ctx;
 	}
 
-- 
2.39.5