> non-free software, such as proprietary software drivers or AndroidOS, 
    > are not permissible.

    Shouldn't there be "for" instead of "or"?

Drivers and the kernel are two different things.  At least conceptually.

Reply via email to