On 25 January 2012 12:37, Andreas Färber <afaer...@suse.de> wrote: > Am 24.01.2012 13:39, schrieb Peter Maydell: >> + ARM_FEATURE_GENERICTIMER, > > Personally I would've preferred GENERIC_TIMER (we have ARM_DIV, > THUMB_DIV as counterexamples), but no strong objection here.
I think I agree. -- PMM
