[bonzini]

Google uses GPL software all the time and links it to proprietary software all the time. Since it runs on their servers and is never distributed, this is perfectly fine.