[comp.os.mach] kernel server.

nadkarni@schizo.samsung.com (Sanjay Nadkarni) (09/17/90)

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