A little bit unrelated, but reading through their member list:

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

reminds me that Jobs explains why their company called "Apple Computer" is: "I worked at Atari, and it got us ahead of Atari in the phone book."[1].

Apple is the first one of all sel4 general member too.

[1] https://www.businessinsider.com/apple-archive-name-apple-201...