Ben Gras 8ea66915f2 kernel: scheduling fix for ARM ...

. make read_tsc_64 use the free-running clock, significantly
	  improving scheduling behaviour

Change-Id: Idf6a12f6e26be7fe3b3664c278cae846d8b2a442

2013-02-03 22:49:05 +01:00

..

earm

kernel: scheduling fix for ARM

2013-02-03 22:49:05 +01:00

i386

ARM: provide free running clock to replace ccnt

2013-01-31 15:19:11 +00:00