Specific versions of Linux provided by commercial vendors have been EAL4 certified. Ditto for EAL2. The bill doesn't require Common Criteria certified software

Specific versions of Linux provided by commercial vendors have been EAL4 certified. Ditto for EAL2. The bill doesn't require Common Criteria certified software, but it allows for that requirement to be made.