Communication service

The kernel provides communication services. It allows partitions and threads to communicate. The communication service is achieved using ports. Out ports (ports that send data) can have several destinations while in ports (ports that receive data) can have only one source.

Data are sent and received on this ports. The kernel configuration specifies the owner of a port, its destination and its size.

If you use partitioning service, each port is dedicated to a partition. Consequently, when creating the port, the kernel checks that requested port belongs to the partition.