X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/9347d109a9b928929fdc0cedcc1d867bd7e2a918..c02bb3e0b72cd17aaa3cdfb9587d934f1097cc1f:/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 1a348b3d2..85887195f 100644
--- a/l4/pkg/io/config/x86-legacy.devs
+++ b/l4/pkg/io/config/x86-legacy.devs
@@ -24,6 +24,7 @@ Io.hw_add_devices
     hid = "PNP0900";
     Res.io(0x3b0, 0x3bf); -- MDA
     Res.io(0x3c0, 0x3df); -- EGA/VGA
+    Res.io(0x1ce, 0x1d0); -- Vbox
     Res.mmio(0xa0000, 0xbffff, 0xc000);
   },