4 ms·This is fairly analogous to our approach too, just substituting QNX w/ seL4.by im_down_w_otp 8y agoThis is fairly analogous to our approach too, just substituting QNX w/ seL4.