There is a strong pop-culture sentiment that seL4 doesn't see any real-world usage. The seL4 page lists 7 relatively obscure products, two of which are DARPA tech demos. What if the list of specific products is followed by a list of logos of companies where seL4 is depended upon internally? Or maybe just an animated banner that has the logos scrolling sideways across?
I know Google uses it in CantripOS, for example. There is a picture of a SpaceX Dragon spacecraft. Apple is on the board and I'm told there is uptake in the defense industry but I'm assuming there are NDAs there. I would think there would be mutual interest in cross-marketing at the brand level (Apple obviously doesn't care that people know it is on the foundation).
There is a strong pop-culture sentiment that seL4 doesn't see any real-world usage. The seL4 page lists 7 relatively obscure products, two of which are DARPA tech demos. What if the list of specific products is followed by a list of logos of companies where seL4 is depended upon internally? Or maybe just an animated banner that has the logos scrolling sideways across?
I know Google uses it in CantripOS, for example. There is a picture of a SpaceX Dragon spacecraft. Apple is on the board and I'm told there is uptake in the defense industry but I'm assuming there are NDAs there. I would think there would be mutual interest in cross-marketing at the brand level (Apple obviously doesn't care that people know it is on the foundation).