seL4 can guarantee* time domain isolation between processes.

*on some CPUs. There's a WIP time fence specification in RISC-V to try and improve this.