From f9b1676d4526ce89e6c6d41d8caf5759007d8c75 Mon Sep 17 00:00:00 2001 From: Sergey Bugaev Date: Sun, 19 Mar 2023 18:09:45 +0300 Subject: 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> --- Makefrag.am | 1 - 1 file changed, 1 deletion(-) (limited to 'Makefrag.am') 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 \ -- cgit v1.2.3