[meta-ti] Full nohz on TCI6638k2k (KeyStone II)

[Mats Liljegren]

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