>RTLinux or FreeRTOS are guaranteed-latency OS, that can reduce timing jitter. U... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		snvzz 1 day ago \| parent \| context \| favorite \| on: Adafruit: Arduino’s Rules Are ‘Incompatible With O... >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/

Joel_Mckay 1 day ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact