Merge pull request #12 from wagnert/master

Bugfix for example with interval timer, and processor interfaces