Update presets and fix for the new name.
[bertos.git] / boards / arduino / templates / kernel / project.bertos
2010-05-25 arighiarduino: add the "kernel" preset template.