Now have thread switching working properly and freeRTOS code being run. Time for timer ticks. Also, in the previous commit I added a bunch of print output and formatting stuff. I need to get better about these messages.