diff options
| author | Sergey Bugaev <bugaevc@gmail.com> | 2023-03-19 18:09:45 +0300 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-04-03 00:43:16 +0200 |
| commit | f9b1676d4526ce89e6c6d41d8caf5759007d8c75 (patch) | |
| tree | 3a39a0604bbdefe9e733a894c8feee69b489fe02 /Makefrag.am | |
| parent | 210e10d24f0da87027a2eaabc107993d58363e2c (diff) | |
Remove bootstrap.defs
As far as I can see, this file was imported in the very beginning of GNU Mach
history, and unused since then. Nobody implements or uses this interface. GNU
Mach uses a different way to pass the privileged ports to the bootstrap tasks:
instead of the task(s) actively asking for the ports in an RPC, the ports are
preemptively inserted into the IPC space(s) of the task(s), as configured by
the boot script.
Remove bootstrap.defs so as to not confuse anyone into thinking it works.
Message-Id: <20230319151017.531737-3-bugaevc@gmail.com>
Diffstat (limited to 'Makefrag.am')
| -rw-r--r-- | Makefrag.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefrag.am b/Makefrag.am index 358f8db3..5d4f2c48 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -367,7 +367,6 @@ include_device_HEADERS = \ include_machdir = $(includedir)/mach include_mach_HEADERS = \ - include/mach/bootstrap.defs \ include/mach/default_pager.defs \ include/mach/default_pager_helper.defs \ include/mach/default_pager_types.defs \ |