New Ticker (Timer) Library

Have you tried Ticker timer1(printMessage, 0, 1);. I think there is typo in your code (upper case M in printMessage. The code should work on every board which use the Arduino framework.