std :: kernel::ipc
#include <std/kernel/ipc.h> source
#include <std/kernel/ipc.h>
#define MAILBOX_CAPACITY 64