Mark3 RTOS Source

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

Brought to you by: m0slevin

Fix MSP430 tick-based timers. Basic sanity achieved on MSP430f2274, with caveats.

-- RH/TI GCC port works, but community mspgcc doesn't. Need to investigate.
-- Tickless timers need porting.

Authored by: m0slevin 2015-06-01

Parent: [r217]

Child: [r219]

changed	/branch/release/R1/embedded/kernel/cpu/msp430/msp430f2274/gcc/kerneltimer.cpp
changed	/branch/release/R1/embedded/kernel/cpu/msp430/msp430f2274/gcc/public/kerneltimer.h