kernel: scheduling fix for ARM89/289/2
commit8ea66915f29c2b8abb1de57c34b0b857fb4af756
authorBen Gras <ben@minix3.org>
Sun, 3 Feb 2013 18:28:24 +0000 (3 19:28 +0100)
committerBen Gras <ben@minix3.org>
Sun, 3 Feb 2013 21:49:05 +0000 (3 22:49 +0100)
treef61e5d96573c16a81c9490b5a8aa3671331e5f6c
parentaf18db5668c9fad9f02aeacf2b40692324ee67b3
kernel: scheduling fix for ARM

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

Change-Id: Idf6a12f6e26be7fe3b3664c278cae846d8b2a442
kernel/arch/earm/arch_clock.c
kernel/arch/earm/memory.c
kernel/arch/earm/omap_timer.c