L4Re/departure

Changeset

497:1175ee059120
496:42064cca076e
495:a86fe04c6e2e
2023-03-04 Paul Boddie raw files shortlog changelog graph Fixed region mapper initialisation array sizes to correspond to the program being run, not the region mapper itself.
libexec/lib/src/process_creating.cc (file) 
     1.1 --- a/libexec/lib/src/process_creating.cc	Sat Mar 04 18:00:11 2023 +0100
     1.2 +++ b/libexec/lib/src/process_creating.cc	Sat Mar 04 18:42:26 2023 +0100
     1.3 @@ -157,12 +157,12 @@
     1.4  {
     1.5    /* Define regions employing dataspaces to provide program segments. */
     1.6  
     1.7 -  struct exec_region rm_regions[_rm_payload->segments() + 2];
     1.8 +  struct exec_region rm_regions[_program_payload->segments() + 2];
     1.9  
    1.10    /* Define capabilities for mapping, including region dataspace capabilities,
    1.11       the stack dataspace capability, and the server capability. */
    1.12  
    1.13 -  struct ipc_mapped_cap rm_mapped_caps[_rm_payload->segments() + 3];
    1.14 +  struct ipc_mapped_cap rm_mapped_caps[_program_payload->segments() + 3];
    1.15  
    1.16    /* Here, the arrays are sized for the maximum number of regions and
    1.17       capabilities, but in practice only the loadable segments are used, leaving