. . . "TomTom's portable navigation devices run a version of the Linux OS to provide driving directions and other functions." .