+/**
+ * The post select function of the stdout task.
+ *
+ * \param s The scheduler this task was registered to.
+ * \param t The task structure of the stdout task.
+ *
+ * This function checks if \p STDOUT_FILENO was included by in the write fd set
+ * of \a s during the previous pre_select call. If yes, and \p STDOUT_FILENO
+ * appeears to be writable, the data loaded in the input buffer is written to
+ * stdout.
+ */
+static void stdout_post_select(struct sched *s, struct task *t)