Recent progress

"Hello, world!" is building and executing in SpecC on Linux/POSIX. Now I need to hook up the threading from the Plasma RTOS to enable the SpecC simulation library to run, hook up the little mini-libc from BareMetalOS to enable console I/O, and I should be good to go to boot Controlix on bare metal! See you all in few when I have it working....