Stefan Lankes 0410594ae8 fix bug in handling the timer interrupt ... => sending EOI before task switching		2011-07-30 22:47:27 +02:00
..
x86	fix bug in handling the timer interrupt	2011-07-30 22:47:27 +02:00