← SYS/BIOS (TI-RTOS Kernel)