The law just says open source OS’ don’t count. It does not mention Linux by name - nor does it specify which licenses.