Index: uspace/lib/libc/arch/arm32/src/entry.s
===================================================================
--- uspace/lib/libc/arch/arm32/src/entry.s	(revision 009474f3b223044d79e0f170d6e75e53e2669d14)
+++ uspace/lib/libc/arch/arm32/src/entry.s	(revision 0d387d2adba60bc09a047a4aeb5fe9c90f7ad2cc)
@@ -35,7 +35,10 @@
 ## User-space task entry point
 #
+# r1 contains the PCB pointer
 #
 __entry:
+	# Pass pcb_ptr to __main as the first argument (in r0)
+	mov r0, r1
 	bl __main
-	bl main
+
 	bl __exit
