Linux kernel for TomTom devices.