5 ms·
What kernel can give such a guarantee?
by colonwqbang 5y ago
What kernel can give such a guarantee?
- dspillett 5y agoOne that has no such drivers? Which would then imply limited hardware support as the price for the guarantee, which is a trade-off a general purpose kernel like Linux isn't going to make.
- _flux 5y agoA microkernel one, potentially at least.
- lloeki 5y agoA kernel alone on a random hardware platform can't, but a kernel and a hardware core that watchdogs and flips the bird at a rt-violating driver+device, sure (I've toyed with VxWorks on devices that work this way). Usually when you're entering that realm of such requirements, you're rarely talking about off-the-shelf devices.
- snvzz 5y agoseL4[0]. I'm not aware of any other. [0]: https://sel4.systems/ https://sel4.systems/