Cuộc gọi thủ tục từ xa. Một giao diện để IPC xuất hiện (để người gọi) như là một cuộc gọi chức năng bình thường. Ở tốc độ Mach, RPCs được thực hiện bằng cách sử dụng thư viện giao diện MIG tạo ra và Mach tin nhắn.