4 ms·

There is no documentation that I can find regarding Linux running on seL4, outside of hardware virtualisation.