Texas Instrument's linux kernel for the OMAP platform.