As you mentioned it is different on the Edison. The timer function you mentioned is Arduino dependent, so it won't work on Edison. I'd suggest you to do it with the Linux tools. Take a look at Create your own timer routine in Linux | My Linux and Telecom Experiences, I believe it will very helpful for you.
I shall look into it!