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-03-18 23:51:34 +00:00
2014-02-03 08:15:09 +00:00
2014-03-14 06:29:43 +00:00