diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-05-26 00:02:50 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-10-10 14:50:46 +0200 |
commit | ad0681db8840484c0a18bb69f4a9072d6e405ccd (patch) | |
tree | 38641d5a32e13c09e7022e7289a997ed0f22bfe7 /Makefile.am | |
parent | da5dea9b6f960603f0c02b42b5cc8384194faa5b (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