Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!samsung!schizo.samsung.com!nadkarni
From: nadkarni@schizo.samsung.com (Sanjay Nadkarni)
Newsgroups: comp.os.mach
Subject: kernel server.
Message-ID: <15541@samsung.samsung.com>
Date: 17 Sep 90 14:45:29 GMT
Sender: nadkarni@samsung.COM
Reply-To: nadkarni@schizo.samsung.com (Sanjay Nadkarni)
Distribution: usa
Organization: Samsung Software America, Inc.
Lines: 10

In Mach 3.0 new code has been added to implement processor sets. While trying
to follow the flow of control I landed upon calls to a kernel object server.
The routine cpu_up registers its processor port with this kernel server. Does
anyone know what exactly this server does ? What services it provides and 
what types of messages are sent to the port ? I am specifically interested in
messages that are sent to processor->port.

From the log messages in the file, it appears that this was written recently.

-Sanjay