src/Pure/System/interrupt.scala
2013-02-23 ago support for POSIX interrupts (bypassed on Windows);