That's not how the GPL works. All of Telsa's own code, that they wrote themselves (this would include the UI, proprietary device drivers, car control software, etc. etc.) is theirs and can remain closed source. What GPL mandates is that if Telsa used GPL licensed code (such as the linux kernel, other utilities) and MODIFIED it for their own purposes, then they must release those modifications back to the community. A well architected embedded system based on Linux should contain very few such modifications, and so their exposure is probably quite limited. A lot of folks in industry get very excited (negatively) about what GPL implies, but in reality most things you care about are LGPL which is far more lenient as long as you use it without modification. If you don't modify the core OS and kernel, you don't have anything to release. Having said that, they should of course comply to the extent they need to, but I'd be surprised if there was a lot there.