[snvzz]

seL4 is being used in many places that we know about[0] and then there's those we don't or are still in the future, where we can only guess based on e.g. seL4 membership[1].

0. https://sel4.systems/use.html

1. https://sel4.systems/Foundation/Membership/