Add timer support for ATMega 1280 (contributed by Fabio Bizzi)
[bertos.git] / boards / arduino / templates / kernel / kernel.mk
2010-05-25 arighiarduino: add the "kernel" preset template.