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 m

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 https://sel4.systems/use.html 1. https://sel4.systems/Foundation/Membership/ https://sel4.systems/Foundation/Membership/