Time Protection
I've been trying to read this paper for quite a while now, but my understanding of operating systems is not good enough yet. It looked very promising though, specially after the avalanche that were Spectre and Meltdown.
Maybe this concept could be introduced to Redox, as a complement to Memory Protection? If anyone can do it, it's probably you guys. You have Rust on your side.
http://echronos.systems/publications/csiro_full_text//Ge_YCH_19.pdf
Thank you for your time, and stay safe