On Thu, 2015-02-19 at 15:41 +0000, Julien Grall wrote: > > I did consider overriding the incorrect DT on such systems but since > > so far it has only been observed on emulators and we have code in > > place to deal with edge triggering here I think warning is sufficient > > for now. [...] > > + * > > + * Check each interrupt and warn if we find ourselves in this situation. > > + */ > > Based on the comment, would it make sense to override the type of > interrupt to level in anycase? Even if the GIC allows us to write on ICFGR.
See the comment in the commit message (quoted above) Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel