- threadRunnable();
- /* ToDo: this threadRunnable only works if there's
- * another thread (not this one) waiting to be woken up
+
+ /* ToDo: this doesn't work. Can't invoke
+ * pthread_cond_signal from a signal handler.
+ * Furthermore, we can't prod a capability that we
+ * might be holding. What can we do?