From 93af9a589980403f9887936963a6ce4f189dc020 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ens.fr>
Date: Sun, 8 Mar 2015 13:46:41 +0100
Subject: Channels.

---
 src/kernel/include/ipc.h | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/kernel/include/ipc.h

(limited to 'src/kernel/include')

diff --git a/src/kernel/include/ipc.h b/src/kernel/include/ipc.h
new file mode 100644
index 0000000..5558120
--- /dev/null
+++ b/src/kernel/include/ipc.h
@@ -0,0 +1,21 @@
+#pragma once
+
+#include <token.h>
+#include <vfs.h>
+
+//  ---- Communication channels
+
+#define CHANNEL_BUFFER_SIZE 1000		// 1000 + other channel_t fields = 1024 - epsilon
+
+typedef struct {
+	fs_handle_t *a, *b;
+} fs_handle_pair_t;
+
+fs_handle_pair_t make_channel();
+
+//  ---- Tokens for sharing file descriptors between processes
+
+token_t gen_token_for(fs_handle_t *h);
+fs_handle_t *use_token(token_t tok);
+
+/* vim: set ts=4 sw=4 tw=0 noet :*/
-- 
cgit v1.2.3