On Monday 03 November 2008 15:13:02, Daniel Jacobowitz wrote:

> I think the name is fine - if we need some day to separate these
> features, then we'll create extra gdbarch knobs for them.

Ok then.  I checked this in to mention the feature's impact
on breakpoints.

Thanks,
-- 
Pedro Alves