I have viewed the TI-RTOS Workshop Series with Eric Wilbur and found it helpful. Unfortunately, we currently use DSP/BIOS and not SYS/BIOS or RTOS Kernel. Is there any online training available for DSP/BIOS? Are there any documents that describe the differences between these three bios types and what the pros and cons are to using each?