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. ;) Thanks, Ludovic. _______________________________________________ Help-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-hurd
