Ludovic Court�s <[EMAIL PROTECTED]> writes: > Hi, > > Thanks for your clear explanations and thanks also Moritz for your > pointers. > > On Thu, Dec 19, 2002 at 03:44:53PM -0800, Thomas Bushnell, BSG wrote: > > exec_init is not obsolete. It is, however, only used once in > > bootstrapping the system, and isn't really relevant to what you're > > worried about. > > I thought it was obsolete because of the following comment in exec.defs: > > skip; /* obsolete exec_startup */ > > Apparently, I misunderstood that. ;)
That indicates that there used to be a call (called exec_startup) which occupied that position. (Position, in the sense that the RPCs are numbered; the order they are presented in the file is important. _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
