From c063bb8d30dda12464a4886667ce32dc52071970 Mon Sep 17 00:00:00 2001
From: Rob Bradford <robert.bradford@intel.com>
Date: Thu, 5 Dec 2019 10:24:22 +0000
Subject: [PATCH] vmm: acpi: Make GED interrupt edge triggered

This was causing issues when the kernel was trying to reset the
interrupt and making the reboot fail.

Signed-off-by: Rob Bradford <robert.bradford@intel.com>
---
 vmm/src/acpi.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vmm/src/acpi.rs b/vmm/src/acpi.rs
index d68f424a2..c85932a61 100644
--- a/vmm/src/acpi.rs
+++ b/vmm/src/acpi.rs
@@ -295,7 +295,7 @@ fn create_ged_device() -> Vec<u8> {
             &aml::Name::new(
                 "_CRS".into(),
                 &aml::ResourceTemplate::new(vec![&aml::Interrupt::new(
-                    true, false, false, false, 5,
+                    true, true, false, false, 5,
                 )]),
             ),
             &aml::OpRegion::new("GDST".into(), aml::OpRegionSpace::SystemIO, 0xb000, 0x1),