No, but Brazil can (and did) exercise strict import controls over what kind of electronics can get into the country. For the longest time the only game consoles you could legitimately get in Brazil came from Sega through special arrangement with Brazilian manufacturer TecToy—in particular, the Master System and Mega Drive. When the market finally did open up, import consoles were subject to stiff tariffs. Piracy was rampant. That's why the Brazilian gaming market is... weird to this day, and until recently was generally avoided by major manufacturers creating openings for also-rans like the Zeebo.

So while police arresting a kid for having an Ubuntu DVD is unlikely, the Brazilian government twisting the arm of PC manufacturers to prevent the installation of any but approved operating systems on hardware sold to the Brazilian market is highly plausible. Since this already aligns with Microsoft's eventual goals, Microsoft and the PC manufacturers will just hasten the rollout of Palladium 2.0 and nothing will stop it.

Wow thanks, I didn't know any of that. It feels alien to me and yeah I'm sure that MS wants this to happen. Now that windows has only become an advertising vehicle for their cloud services, Linux is a way for customers to avoid that tax.