[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: memory_object_reply.cli in device/ ?

From: Gianluca Guida
Subject: Re: memory_object_reply.cli in device/ ?
Date: Fri, 3 Mar 2006 21:05:20 +0100

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

What do you think about?


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]