Mark3 RTOS Source

Adding missing atmega2560 builds

Fixing up build, export, and profiling scripts for new features and targets.

Adding errors regarding the user of KERNEL_USE_IDLE_FUNC on platforms where it is not supported.

Fixing up timer defines for ports. Errors will be generated on build if attempting to build tickless timers on an unsupported part.

-Resetting default config to use tickless timers
-Fixing timing prescaler on 2560

Adding support for atmega2560

Reverting de-optimization in cm4f build.
x

-Fixing kernel bug. Corner-case where multiple threads are initialized at the same highest priority level before the kernel is started. The first thread that runs won't relinquish control until it voluntarily blocks. The fix ensures that round-robin scheduling is properly applied in this case.
-Adding set_target.sh script, allowing for developers to quickly reconfigure the build environment and switch from one target to another quickly.

Cleaning up tabs. Making sure that cortex m3/m4 files are not misrepresented as cortex m0 in the headers. Documentation for those ports needs more work, however.

- Adding preliminary cortex m4-f support
- Fixing usage of isb in cortex ports for control register modification
- Fixing demo stack-size usage in thread init.