update

[l4.git] / l4 / conf / examples / x86-fb.io

diff --git a/l4/conf/examples/x86-fb.io b/l4/conf/examples/x86-fb.io
index 707f56440b0d3bbc675570d3f593e0d0b7246415..351497e62eaf3d335a248d95774ee7c87ceef135 100644 (file)
--- a/l4/conf/examples/x86-fb.io
+++ b/l4/conf/examples/x86-fb.io
@@ -3,7 +3,7 @@
 
 gui => new System_bus()
 {
-  ps2dev => wrap(hw-root.match("PNP0303"));
+  ps2dev => wrap(hw-root.match("PNP0303,PNP0F13"));
 }
 
 fbdrv => new System_bus()