Module a653rs_linux_core::ipc

Implementation of IPC

Structs

• IoReceiver
  Internal data type for the IO resource sender
• IoSender
  Internal data type for the IO resource sender
• IpcReceiver
  Internal data type for the IPC receiver
• IpcSender
  Internal data type for the IPC sender

Functions

• bind_receiver
• connect_sender
• io_pair
  Creates a pair of sockets that are meant for passing file descriptors to partitions.