3 ms·How about seL4?by sydthrowaway 4y agoHow about seL4?booboofixer 4y agoInteresting suggestion, thanks.snvzz 4y agoseL4's mixed criticality (MCS) kernel and the time capabilities absolutely are the state of the art.