Safety-critical instrument cluster: INTEGRITY RTOS on TI Jacinto 6 SoC