else
continue; /* Unsupported device class */
+ pci_reserve(devind);
+
/* Found a controller.
* Programming interface register tells us more.
*/
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?'
continue; /* Skip */
}
if (i == j)
+ {
+ j++;
continue; /* No need to copy */
+ }
pcidev[devind].pd_bar[j]=
pcidev[devind].pd_bar[i];
j++;
{
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
SETGRANT # 34
READBIOS # 35
;
+ pci class
+ 1/1 # Mass storage / IDE
+ ;
};
#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