TIL that TiVo did actually allow you to update the version of Linux on the device, and GPLv2 requires the ability to install new versions! https://sfconservancy.org/blog/2021/jul/23/tivoization-and-the-gpl-right-to-install/