On Mon, Apr 11, 2011 at 10:01 AM, Markus Armbruster <armbru@xxxxxxxxxx> wrote: > Avi Kivity <avi@xxxxxxxxxx> writes: > >> On 04/08/2011 12:41 AM, Anthony Liguori wrote: >>> >>> And it's a good thing to have, but exposing this as the only API to >>> do something as simple as generating a guest crash dump is not the >>> friendliest thing in the world to do to users. >> >> nmi is a fine name for something that corresponds to a real-life nmi >> button (often labeled "NMI"). > > Agree. We could also introduce an alias mechanism for user friendly names, so nmi could be used in addition of full path. Aliases could be useful for device paths as well. -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
