# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1678834317 -3600
# Node ID d0e6f1d3f3377c44dc39a9d1ce28745208f16225
# Parent  7f39fb2e0f381fd4a6aae97d3f6a57a50f33dc7b
Fixed the first free UTCB address and thus pthread initialisation.

diff -r 7f39fb2e0f38 -r d0e6f1d3f337 libexec/lib/src/process.cc
--- a/libexec/lib/src/process.cc	Mon Mar 13 00:40:16 2023 +0100
+++ b/libexec/lib/src/process.cc	Tue Mar 14 23:51:57 2023 +0100
@@ -208,7 +208,7 @@
   l4_fpage_t utcb_fpage = get_utcb_fpage(_thread_number, 1);
 
   _env.utcb_area       = utcb_fpage;
-  _env.first_free_utcb = l4_fpage_memaddr(utcb_fpage);
+  _env.first_free_utcb = l4_fpage_memaddr(utcb_fpage) + L4_UTCB_OFFSET;
 
   /* Initialise the thread with pager, UTCB and task details. */