2 ms·
>RTLinux or FreeRTOS are guaranteed-latency OS, that can reduce timing jitter. Unlike seL4[0], neither OS has a guarantee of worst case latency. RTLinux canno
by snvzz 10mo ago
>RTLinux or FreeRTOS are guaranteed-latency OS, that can reduce timing jitter.
Unlike seL4[0], neither OS has a guarantee of worst case latency.
RTLinux cannot realistically have one, as formal verification is not feasible due to its sheer size.
0. https://sel4.systems/ https://sel4.systems/
- Joel_Mckay 10mo agoRTLinux had many variants, but in general nobody wants to introduce chaotic processes while running previously profiled runtime code. It was odd xenomai was not as common as preemt_rt in projects. =3