Kees Jongenburger 75c67f434d arm:timer changes. ... * Allow to change the timer frequency using the hz paramter. * Unmask the interrupt only after registering the handler. * Pass the hz parameter in the command line.		2013-09-25 11:21:17 +02:00
..
earm	arm:timer changes.	2013-09-25 11:21:17 +02:00
i386	VMWare poweroff magic cli;hlt sequence	2013-08-11 23:55:43 +02:00