- /* We can't prod the Capability from inside the
- * signal handler, because pthread_cond_signal()
- * doesn't work from signal handlers. Let's hope
- * that pthread_create() works:
+ /* 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?