Spectron Microsystems was eventually acquired by Texas Instruments [REF] and the SPOX and BIOSuite products were combined into a single microkernel product called DSP/BIOS.
TI-RTOS 1.00 was initially released in July 2012 [REF].