Mark3 RTOS Source

Open-source RTOS and Embedded Systems Toolkit for C++ and C

Brought to you by: m0slevin

- Adjust the atxmega256a3 to use a /256 prescaler for the kernel timer

- Fix a bug that can result in the kerneltimer being disabled in the tickless timer routines

Authored by: m0slevin 2014-10-08

Parent: [r177]

Child: [r179]

changed	/branch/release/R2/embedded/kernel/cpu/avr/atxmega256a3/gcc/kerneltimer.cpp
changed	/branch/release/R2/embedded/kernel/public/quantum.h
changed	/branch/release/R2/embedded/kernel/quantum.cpp