3 ms·
Don't. Linux is too complex to provide any sort of guarantee; real-time Linux is just soft realtime. Look at an actual RTOS instead, such as seL4[0]. 0. http
by snvzz 4y ago
Don't.
Linux is too complex to provide any sort of guarantee; real-time Linux is just soft realtime.
Look at an actual RTOS instead, such as seL4[0].
0. https://sel4.systems/About/seL4-whitepaper.pdf https://sel4.systems/About/seL4-whitepaper.pdf
- MarkMarine 4y agoThis is awesome, I hadn't seen this before. How would you compare developing on this with something like FreeRTOS or some other RTOS that doesn't really have a user space? I get the security benefits, I'm curios about the developer experience, how much code you have to write yourself to get going, how's the toolchain, etc.