update

[l4.git] / l4 / pkg / io / config / x86-legacy.devs

diff --git a/l4/pkg/io/config/x86-legacy.devs b/l4/pkg/io/config/x86-legacy.devs
index 85887195fc50783fbf69947ac6b35d4ac61d3543..17f293e2e71619de0bb2d2f5dc9bf0c62035b7cc 100644 (file)
--- a/l4/pkg/io/config/x86-legacy.devs
+++ b/l4/pkg/io/config/x86-legacy.devs
@@ -25,7 +25,8 @@ Io.hw_add_devices
     Res.io(0x3b0, 0x3bf); -- MDA
     Res.io(0x3c0, 0x3df); -- EGA/VGA
     Res.io(0x1ce, 0x1d0); -- Vbox
-    Res.mmio(0xa0000, 0xbffff, 0xc000);
+    Res.io(0x402, 0x402); -- QEMU Debug Port
+    Res.mmio(0xa0000, 0xbffff);
   },
 
   PS2 = Hw.Device