And that's not even mentioning that they might have included Atmosphere code in SX OS. GPL can get quite messy.The XCI loading software itself contains copyrighted Nintendo code, though I don't know if that is going to be relevant or proven in court.