I would like to perform a customer demo running a benchmark application in full nohz mode on TCI6638k2k target, which as far as I understand it is a KeyStone II architecture. Does anyone know what the best Linux source code is to perform the nohz port for this board? It should preferably be Linux 3.9 of any RC level, but 3.8 should work as well. I also need a hardware timer to be used as an interrupt source for the interrupt latency measurements. Any suggestions for framework or driver to use? /Mats -- To unsubscribe from this list: send the line "unsubscribe linux-omap" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
