L4Re/departure

Changeset

515:bae2ddb47ecd
514:d0e6f1d3f337
513:7f39fb2e0f38
2023-03-14 Paul Boddie raw files shortlog changelog graph Fixed the first free UTCB address and thus pthread initialisation.
libexec/lib/src/process.cc (file) 
     1.1 --- a/libexec/lib/src/process.cc	Mon Mar 13 00:40:16 2023 +0100
     1.2 +++ b/libexec/lib/src/process.cc	Tue Mar 14 23:51:57 2023 +0100
     1.3 @@ -208,7 +208,7 @@
     1.4    l4_fpage_t utcb_fpage = get_utcb_fpage(_thread_number, 1);
     1.5  
     1.6    _env.utcb_area       = utcb_fpage;
     1.7 -  _env.first_free_utcb = l4_fpage_memaddr(utcb_fpage);
     1.8 +  _env.first_free_utcb = l4_fpage_memaddr(utcb_fpage) + L4_UTCB_OFFSET;
     1.9  
    1.10    /* Initialise the thread with pager, UTCB and task details. */
    1.11