-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.