3 ms·
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 a
by zvmaz 3y ago
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 https://sel4.systems/About/seL4-whitepaper.pdf