Ian Lepore 2a4eeaa4d2 Change NO_EVENTTIMERS from an arm-specific to an MI option, so that it can
be used in MI code.

This is intended as a temporary measure to unbreak the build.  The real fix
is to write event timer drivers for legacy arm hardware, then get rid of
this option completely.  That's going to take a few days.
2014-04-02 19:51:29 +00:00
..
2014-04-02 15:32:44 +00:00
2014-03-29 18:56:11 +00:00
2014-03-31 16:37:41 +00:00
2013-11-29 20:14:26 +00:00
2014-03-27 11:10:13 +00:00
2014-03-14 02:58:48 +00:00
2014-03-14 06:29:43 +00:00
2014-03-31 14:40:35 +00:00
2014-02-06 13:28:06 +00:00
2014-03-14 06:29:43 +00:00