Yes, I've heard of those. What I wanted to write is "widely used" even at the user level (GUI programs, web applications, etc.).

You prompted me to read more about seL4; the white paper is nice [1].

[1] https://sel4.systems/About/seL4-whitepaper.pdf