- Fixed a bug causing half the thread stack to be left uninitialized.
- Added preliminary code to support tickless timers.
- Fixed critical-section logic
However, there are still some major problems on the port...
- There appears to be memory corruptions or compiler bugs impacting the timer code.