> Especially when the "works" they care about is getting shit done, by having access to software (including proprietary), drivers, a community, vendors, etc. Y

> Especially when the "works" they care about is getting shit done, by having access to software (including proprietary), drivers, a community, vendors, etc. Yes, and we know what the quality there is. If that's your attitude, you probably don't work in or near the industries that would have the budget or requirements to care about the seL4. I have, and it would be considered, without a doubt.