Microkernel Design Implementation

[trolly]

hi, i develop a microkernel too.

im my system, a process that want to use a driver use IPC to send command to the driver.

to make that easy:
a driver process define a message box with a dword number to identify it (ex : the name for the keyboard message box is "KBD$")

the client that want use the keyboard send message to "KBD$" with corrects parameters, the keyboard driver receive it and make the correct action.

note: to use the servers, the clients should know theirs ipc ID

[jal]

note: to use the servers, the clients should know theirs ipc ID

So who is responsible for dispatching the message to the right server? Are the servers making themselves known to the one responsible, or are the names fixed for the OS?


JAL