1 files changed, 14 insertions, 0 deletions
diff --git a/src/dumm/dumm.h b/src/dumm/dumm.h
index e33d14be5..fe4f9ca4e 100644
--- a/src/dumm/dumm.h
+++ b/src/dumm/dumm.h
@@ -16,6 +16,8 @@
 #ifndef DUMM_H
 #define DUMM_H
 
+#include <signal.h>
+
 #include <library.h>
 #include <utils/linked_list.h>
 
@@ -53,6 +55,18 @@ struct dumm_t {
 	iterator_t* (*create_guest_iterator) (dumm_t *this);
 	
 	/**
+	 * @brief Handler for received SIG_CHILD signals.
+	 *
+	 * Dumm spans children, UML kernels. To track and cleanup these kernel
+	 * processes, it is required that this method is called whenever a SIG_CHILD
+	 * is received. The user is responsible to call sigchild_handler on each
+	 * dumm_t instance with the signals siginfo_t. 
+	 *
+	 * @param info		siginfo associated to the SIG_CHILD signal
+	 */
+	void (*sigchild_handler)(dumm_t *this, siginfo_t *info);
+	
+	/**
 	 * @brief stop all guests and destroy the modeler
 	 */
 	void (*destroy) (dumm_t *this);