>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.
>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.
RTLinux 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