In my program I have an event loop that's basically just a select() that listens stdin, a couple of sockets, and some timerfds. I was hoping to go cross-platform and tried mio, but it seems like it doesn't have any timers, so I'm looking for an alternative that's 1) cross-platform 2) has timers. Any ideas?