2 ms·No, they don't. The Linux kernel is not a RTOS. Most JPL projects use VxWorks.by 4ad 10y agoNo, they don't. The Linux kernel is not a RTOS. Most JPL projects use VxWorks.