event(3tk) on Linux

The text 0391aee8bb5a, as Debian 7 (Wheezy) shipped it.

Miscellaneous event facilities: define virtual events and generate events

event(3tk) on Linux now