Re: [SeaBIOS] [PATCH] Replace level gpe event with edge gpe event for hot-plug handlers

[Kevin O'Connor]

On Tue, Apr 03, 2012 at 11:48:44PM +0200, Igor Mammedov wrote:
> in current code, pci hot-plug gpe event handler is defined as
> a level one "_L01"

[...]
> Switching from level to edge event handler reduces chances to
> hit race window.

Thanks.  I committed this change.

-Kevin