Rumours circulated earlier this year that these devices were based on embedded Linux, but Garmin had said that "the information about the operating system of Garmin devices is considered proprietary". Under the GNU General Public License 2, under which the Linux kernel is licensed, anyone distributing this code must also make the source available.