[fastmark]

If a government wanted to give out Linux PCs to children. Then, the students could require the government to provide the open source software as it part of the copyright condition of Linux. But the government couldn't require the distributor of the Linux PC to provide the source code. What happens? Would it be illegal for the government to buy Linux PCs for civilians? Note: a Linux PC could be a smart card used for identification, voting, a licence, etc.

[iwwr]

Those who use those machines have standing to ask for the source code, as per the GPL.