diff --git a/sys/amd64/conf/GENERIC b/sys/amd64/conf/GENERIC
index a0d1a7d5505..efa8f5f758b 100644
--- a/sys/amd64/conf/GENERIC
+++ b/sys/amd64/conf/GENERIC
@@ -1,7 +1,7 @@
 #
 # GENERIC -- Generic machine with WD/AHx/NCR/BTx family disks
 #
-#	$Id: GENERIC,v 1.34 1995/03/05 22:23:31 joerg Exp $
+#	$Id: GENERIC,v 1.35 1995/03/12 12:10:35 amurai Exp $
 #
 
 machine		"i386"
@@ -92,6 +92,7 @@ device de0
 device ed0 at isa? port 0x280 net irq  5 iomem 0xd8000 vector edintr
 device ed1 at isa? port 0x300 net irq  5 iomem 0xd8000 vector edintr
 device ie0 at isa? port 0x360 net irq  7 iomem 0xd0000 vector ieintr
+device ix0 at isa? port 0x280 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
 device ep0 at isa? port 0x300 net irq 10 vector epintr
 device lnc0 at isa? port 0x280 net irq 10 drq 0 vector lncintr
 device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr
diff --git a/sys/conf/NOTES b/sys/conf/NOTES
index cb93c1fc01c..18b6261efba 100644
--- a/sys/conf/NOTES
+++ b/sys/conf/NOTES
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.156 1995/03/14 09:14:05 davidg Exp $
+#	$Id: LINT,v 1.157 1995/03/15 14:27:01 dufault Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -517,6 +517,7 @@ device el0 at isa? port 0x300 net irq 9 vector elintr
 device ep0 at isa? port 0x300 net irq 10 vector epintr
 device fea0 at isa? net irq ? vector feaintr
 device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
+device ix0 at isa? port 0x280 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
 device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr
 device lnc0 at isa? port 0x280 net irq 10 drq 0 vector lncintr
 device ze0 at isa? port 0x300 net irq 5 iomem 0xd8000 vector zeintr
diff --git a/sys/i386/conf/GENERIC b/sys/i386/conf/GENERIC
index a0d1a7d5505..efa8f5f758b 100644
--- a/sys/i386/conf/GENERIC
+++ b/sys/i386/conf/GENERIC
@@ -1,7 +1,7 @@
 #
 # GENERIC -- Generic machine with WD/AHx/NCR/BTx family disks
 #
-#	$Id: GENERIC,v 1.34 1995/03/05 22:23:31 joerg Exp $
+#	$Id: GENERIC,v 1.35 1995/03/12 12:10:35 amurai Exp $
 #
 
 machine		"i386"
@@ -92,6 +92,7 @@ device de0
 device ed0 at isa? port 0x280 net irq  5 iomem 0xd8000 vector edintr
 device ed1 at isa? port 0x300 net irq  5 iomem 0xd8000 vector edintr
 device ie0 at isa? port 0x360 net irq  7 iomem 0xd0000 vector ieintr
+device ix0 at isa? port 0x280 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
 device ep0 at isa? port 0x300 net irq 10 vector epintr
 device lnc0 at isa? port 0x280 net irq 10 drq 0 vector lncintr
 device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr
diff --git a/sys/i386/conf/LINT b/sys/i386/conf/LINT
index cb93c1fc01c..18b6261efba 100644
--- a/sys/i386/conf/LINT
+++ b/sys/i386/conf/LINT
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.156 1995/03/14 09:14:05 davidg Exp $
+#	$Id: LINT,v 1.157 1995/03/15 14:27:01 dufault Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -517,6 +517,7 @@ device el0 at isa? port 0x300 net irq 9 vector elintr
 device ep0 at isa? port 0x300 net irq 10 vector epintr
 device fea0 at isa? net irq ? vector feaintr
 device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
+device ix0 at isa? port 0x280 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
 device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr
 device lnc0 at isa? port 0x280 net irq 10 drq 0 vector lncintr
 device ze0 at isa? port 0x300 net irq 5 iomem 0xd8000 vector zeintr
diff --git a/sys/i386/conf/NOTES b/sys/i386/conf/NOTES
index cb93c1fc01c..18b6261efba 100644
--- a/sys/i386/conf/NOTES
+++ b/sys/i386/conf/NOTES
@@ -2,7 +2,7 @@
 # LINT -- config file for checking all the sources, tries to pull in
 #	as much of the source tree as it can.
 #
-#	$Id: LINT,v 1.156 1995/03/14 09:14:05 davidg Exp $
+#	$Id: LINT,v 1.157 1995/03/15 14:27:01 dufault Exp $
 #
 # NB: You probably don't want to try running a kernel built from this
 # file.  Instead, you should start from GENERIC, and add options from
@@ -517,6 +517,7 @@ device el0 at isa? port 0x300 net irq 9 vector elintr
 device ep0 at isa? port 0x300 net irq 10 vector epintr
 device fea0 at isa? net irq ? vector feaintr
 device ie0 at isa? port 0x360 net irq 7 iomem 0xd0000 vector ieintr
+device ix0 at isa? port 0x280 net irq 10 iomem 0xd0000 iosiz 32768 vector ixintr
 device le0 at isa? port 0x300 net irq 5 iomem 0xd0000 vector le_intr
 device lnc0 at isa? port 0x280 net irq 10 drq 0 vector lncintr
 device ze0 at isa? port 0x300 net irq 5 iomem 0xd8000 vector zeintr