summaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-05-26 00:02:50 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-10-10 14:50:46 +0200
commitad0681db8840484c0a18bb69f4a9072d6e405ccd (patch)
tree38641d5a32e13c09e7022e7289a997ed0f22bfe7 /Makefile.am
parentda5dea9b6f960603f0c02b42b5cc8384194faa5b (diff)
doc: restore section `Inherited Ports'
Previously, the section `Inherited Ports' was commented out. This was done, as the functionality was unused by the Hurd. The functions `mach_ports_register' and `mach_ports_lookup' were never removed, and are exposed to user space. This patch brings the documentation back and adds a remark at the top, that the section documents the original intentions for this interface. I chose bringing back the documentation over removing the functionality because I like to make use of it as a method for service discovery that is deliberately orthogonal to the way the service lookup is usually done in the Hurd. This can be used to implement robust low-level debugging facilities. * doc/mach.texi: Restore section `Inherited Ports'.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions