source: @ 341

Name	Size	Rev	Age	Author	Last Change
trunk	​	341	7 years	max	Set %eoi earlier for rescheduling interrupts, otherwise the timer …