Re: memory_object_reply.cli in device/ ?

[Gianluca Guida]

On 3/3/06, Gianluca Guida <glguida@gmail.com> 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