On 3/3/06, Gianluca Guida <[EMAIL PROTECTED]> wrote:
> What exactly is memory_object_reply.cli doing in the device/
> directory? Wouldn't be more appropriate for it to stay in the vm/
> directory?
memory_object_reply.cli is a misleading name. What actually is is the
user version (.cli) of the kern/mach.defs (thus, as opposed to
kern/mach.srv). I propose to rename it into kern/mach.cli. This has
really nothing to do with the device section, except that the device
server is the only in-kernel server and thus is the only one needing
it.
What do you think about?
Gianluca
--
It was a type of people I did not know, I found them very strange and
they did not inspire confidence at all. Later I learned that I had been
introduced to electronic engineers.
E. W. Dijkstra
_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd
