minix/kernel/arch
Kees Jongenburger 534b19187e arm:configure tick per ms to reflect the free running clock.
Change-Id: Ifc02658d6ae48dd01a868bfaa3d60f77bc6cc800
2013-05-24 13:59:04 +02:00
..
earm arm:configure tick per ms to reflect the free running clock. 2013-05-24 13:59:04 +02:00
i386 arm: recognize instruction fetch pagefault 2013-05-21 15:05:06 +02:00