They have to abide by them, not enforce them (unless a court order makes them). There's no law against distributing operating systems that allow running of prog

They have to abide by them, not enforce them (unless a court order makes them). There's no law against distributing operating systems that allow running of programs that break the law.