The Kernel (cont.)
Each port has pointers to the head and tail of
- Message queue
- Task descriptor queue
Messages are assigned to tasks on a first come first served basis (in order of message arrival)
Communication protocol implemented as a C function library