SYS/BIOS: kernel for Texas Instruments TI-RTOS