base-foc: Improve documentation of signal_session

Fixes #566.

base-foc/include/signal_session/source_client.h

@@ -5,11 +5,12 @@
  * \date   2010-02-03
  *
  * On Fiasco.OC, the signal source server does not provide a blocking
- * 'wait_for_signal' function because this kernel does no support
- * out-of-order IPC replies. Instead, we use an IRQ kernel-object
- * to let the client block until a signal is present at the
- * server. The IRQ object gets initialized with the first
- * call of 'wait_for_signal()'.
+ * 'wait_for_signal' function because this kernel does not support out-of-order
+ * IPC replies. Instead, we use an IRQ kernel-object to let the client block
+ * until a signal is present at the server.
+ *
+ * We request the IRQ object capability and attach to the IRQ on construction
+ * of the 'Signal_source_client' object.
  */
 
 /*

base-foc/include/signal_session/source_rpc_object.h

@@ -2,11 +2,6 @@
  * \brief  Signal-source server interface
  * \author Norman Feske
  * \date   2010-02-03
- *
- * This file is only included by 'signal_session/server.h' and relies on the
- * headers included there. No include guards are needed. It is a separate
- * header file to make it easily replaceable by a platform-specific
- * implementation.
  */
 
 /*
@@ -16,8 +11,8 @@
  * under the terms of the GNU General Public License version 2.
  */
 
-#ifndef _INCLUDE__SIGNAL_SESSION__SOURCE_SERVER_H_
-#define _INCLUDE__SIGNAL_SESSION__SOURCE_SERVER_H_
+#ifndef _INCLUDE__SIGNAL_SESSION__SOURCE_RPC_OBJECT_H_
+#define _INCLUDE__SIGNAL_SESSION__SOURCE_RPC_OBJECT_H_
 
 #include <base/rpc_server.h>
 #include <signal_session/foc_source.h>
@@ -39,4 +34,4 @@ namespace Genode {
 	};
 }
 
-#endif /* _INCLUDE__SIGNAL_SESSION__SOURCE_SERVER_H_ */
+#endif /* _INCLUDE__SIGNAL_SESSION__SOURCE_RPC_OBJECT_H_ */