1.1 --- a/libexec/lib/src/process_creating.cc Sun Jan 21 17:56:36 2024 +0100
1.2 +++ b/libexec/lib/src/process_creating.cc Sun Jan 21 18:44:44 2024 +0100
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Support for executing code in new tasks and threads.
1.6 *
1.7 - * Copyright (C) 2022, 2023 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2022, 2023, 2024 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -215,7 +215,7 @@
1.13 rm_mapped_caps[rm_index++] = (struct ipc_mapped_cap) {_mapped_internal_pager,
1.14 _internal_pager, L4_CAP_FPAGE_RWS,
1.15 L4_FPAGE_C_OBJ_RIGHTS};
1.16 - rm_mapped_caps[rm_index] = (struct ipc_mapped_cap) {0, L4_INVALID_CAP, 0, 0};
1.17 + rm_mapped_caps[rm_index] = (struct ipc_mapped_cap) {L4_INVALID_CAP, L4_INVALID_CAP, 0, 0};
1.18
1.19 /* Map these additional capabilities. */
1.20
1.21 @@ -326,7 +326,7 @@
1.22 struct ipc_mapped_cap program_mapped_caps[] = {
1.23 {fsserver_cap, fsserver, L4_CAP_FPAGE_RWS, L4_FPAGE_C_OBJ_RIGHTS},
1.24 {writer_cap, writer, L4_CAP_FPAGE_RWS, L4_FPAGE_C_OBJ_RIGHTS},
1.25 - {0, L4_INVALID_CAP, 0, 0},
1.26 + {L4_INVALID_CAP, L4_INVALID_CAP, 0, 0},
1.27 };
1.28
1.29 /* Map these additional capabilities. */