at_wini now calls pci_reserve.

drivers/at_wini/at_wini.c

@@ -569,6 +569,8 @@ PRIVATE void init_params_pci(int skip)
 	else
 		continue;	/* Unsupported device class */
 
+	pci_reserve(devind);
+
   	/* Found a controller.
   	 * Programming interface register tells us more.
   	 */

drivers/memory/ramdisk/rc

@@ -7,7 +7,8 @@ then
 	echo Using bios_wini.
 	/bin/service -c up /bin/bios_wini -dev /dev/c0d0
 else
-	/bin/service -c up /bin/at_wini -dev /dev/c0d0 -script /etc/rs.single -config /etc/drivers.conf
+	/bin/service -c up /bin/at_wini -dev /dev/c0d0 -config /etc/drivers.conf
+	#/bin/service -c up /bin/at_wini -dev /dev/c0d0 -script /etc/rs.single -config /etc/drivers.conf
 fi
 
 rootdev=`sysenv rootdev` || echo 'No rootdev?'

drivers/pci/pci.c

@@ -971,7 +971,10 @@ int devind;
 				continue;	/* Skip */
 			}
 			if (i == j)
+			{
+				j++;
 				continue;	/* No need to copy */
+			}
 			pcidev[devind].pd_bar[j]=
 				pcidev[devind].pd_bar[i];
 			j++;

etc/drivers.conf

@@ -113,9 +113,12 @@ driver at_wini
 {
 	io	1f0:8		# Controller 0
 		3f6		# Also controller 0
+		170:8		# Controller 1
+		376		# Also controller 1
 	;
 	irq
 		14		# Controller 0
+		15		# Controller 1
 	;
 	system
 		KILL		#  6
@@ -132,4 +135,7 @@ driver at_wini
 		SETGRANT	# 34
 		READBIOS	# 35
 	;
+	pci class	
+		1/1		# Mass storage / IDE
+	;
 };

kernel/priv.h

@@ -17,7 +17,7 @@
 #include "type.h"
 
 /* Max. number of I/O ranges that can be assigned to a process */
-#define NR_IO_RANGE	10
+#define NR_IO_RANGE	32
 
 /* Max. number of device memory ranges that can be assigned to a process */
 #define NR_MEM_RANGE	10