driver floppy
{
	irq	6;
	io	3f0:8
		0:10	# XXX DMA controller
		81	# Also DMA
		;
	system
		UMAP		# 14
		IRQCTL		# 19
		DEVIO		# 21
		VDEVIO		# 23
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		PROFBUF		# 38
		SYSCTL
		;
};

driver dp8390
{
	system
		IRQCTL		# 19
		DEVIO		# 21
		SDEVIO		# 22
		SETALARM	# 24
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	pci device	10ec/8029;
	uid	0;
};

driver dpeth
{
	system
		IRQCTL		# 19
		DEVIO		# 21
		SDEVIO		# 22
		SETALARM	# 24
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	uid	0;
};

driver lance
{
	system
		UMAP		# 14
		IRQCTL		# 19
		DEVIO		# 21
		#SDEVIO		# 22
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	pci device	1022/2000;
	uid	0;
};

driver rtl8139
{
	system
		UMAP		# 14
		IRQCTL		# 19
		DEVIO		# 21
		#SDEVIO		# 22
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		MAPDMA		# 41
		PROFBUF		# 38
		SYSCTL
	;
	pci device	10ec/8139;
	pci device	02ac/1012;
	pci device	1065/8139;
	pci device	1113/1211;
	pci device	1186/1300;
	pci device	1186/1340;
	pci device	11db/1234;
	pci device	1259/a117;
	pci device	1259/a11e;
	pci device	126c/1211;
	pci device	13d1/ab06;
	pci device	1432/9130;
	pci device	14ea/ab06;
	pci device	14ea/ab07;
	pci device	1500/1360;
	pci device	1743/8139;
	pci device	4033/1360;
	ipc
		SYSTEM PM RS LOG TTY DS VM
		pci inet amddev
		;
};

driver fxp
{
	system
		UMAP		# 14
		IRQCTL		# 19
		DEVIO		# 21
		#SDEVIO		# 22
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	pci device	8086/103d;
	pci device	8086/1064;
	pci device	8086/1229;
	pci device	8086/2449;
	ipc
		SYSTEM PM RS LOG TTY DS VM
		pci inet amddev
		;
};

driver dumpcore
{
	system
		TRACE		#  5
		VIRCOPY		# 15
		GETINFO		# 26
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
};

driver inet
{
	system
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		VSAFECOPY	# 33
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	uid 0;
};

driver random
{
	system
		UMAP		# 14
		SETALARM	# 24
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
};

driver readclock.drv
{
	io	70:2;
	system
		DEVIO		# 21
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYTO	# 32
		SAFECOPYFROM	# 32
		SETGRANT	# 34
		READBIOS	# 35
		PROFBUF		# 38
		SYSCTL
	;
	uid 0;
};

driver is
{
	system
		TIMES		# 25
		GETINFO		# 26
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	vm
		CTL
	;
	uid 0;
};

driver pci
{
	io	cf8:8		# PCI bus controller
		4d0:2		# PIIX
	;
	system
		PRIVCTL		#  4
		DEVIO		# 21
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	uid 0;
};

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
		UMAP		# 14
		IRQCTL		# 19
		DEVIO		# 21
		SDEVIO		# 22
		VDEVIO		# 23
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		READBIOS	# 35
		PROFBUF		# 38
		SYSCTL
	;
	pci class	
		1/1		# Mass storage / IDE
		1/4		# Mass storage / RAID
	;
};

driver bios_wini
{
	system
		UMAP		# 14
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		READBIOS	# 35
		PROFBUF		# 38
		SYSCTL
		INT86
	;
};

driver mfs
{
	system
		TIMES		# 25
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		GETINFO
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
		;
	uid	0;
};

driver isofs
{
	system
		TIMES		# 25
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		GETINFO
		SETGRANT	# 34
                UMAP            # 14
		PROFBUF		# 38
		SYSCTL
		;
	uid	0;
};

driver printer
{
       io      378:4           # LPT1
               278:4           # LPT2
       ;
       irq
               7               # PRINTER_IRQ
       ;
       system
               KILL            #  6
               SETGRANT        # 34
               UMAP            # 14
               VIRCOPY         # 15
               IRQCTL          # 19
               DEVIO           # 21
               VDEVIO          # 23
               GETINFO		# 26
               SAFECOPYFROM    # 31
               SAFECOPYTO      # 32
		PROFBUF		# 38
		SYSCTL
       ;
};

driver orinoco
{
	system
		PRIVCTL		#  4
		DEVIO		# 21
		GETINFO		# 26
		UMAP		# 14
		IRQCTL		# 19
		DEVIO		# 21
		#SDEVIO		# 22
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		VM_MAP		# 30
		PROFBUF		# 38
		SYSCTL
	;
	pci device	1260/3873;
	pci device	1186/1300;
	uid	0;
};

driver es1370
{
	system
		SAFECOPYFROM
		SAFECOPYTO
		UMAP
                GETINFO
		SETGRANT
		IRQCTL          # 19
		DEVIO           # 21
		PROFBUF		# 38
		SYSCTL
	;
	pci device 1274/5000;
};

driver es1371
{
	system
		SAFECOPYFROM
		SAFECOPYTO
		UMAP
		SETGRANT
                GETINFO
		IRQCTL          # 19
		DEVIO           # 21
		PROFBUF		# 38
		SYSCTL
	;
	pci device 1274/1371;
};

driver amddev
{
	pci device	1022/1103;
	system
		UMAP		# 14
		SETGRANT	# 34
                GETINFO
		REGDEV		# 40
		PROFBUF		# 38
		SYSCTL
	;
	uid	0;
};

driver ipc
{
	system
		UMAP
		PROFBUF
		SAFECOPYFROM
		SAFECOPYTO
		VIRCOPY
		SETGRANT
		SYSCTL
		;
	uid     0;
	ipc
		SYSTEM
		PM
		RS
		LOG
		TTY
		DS
		VM
		USER
		;
	vm
		REMAP
		UNREMAP
		GETPHYS
		GETREFCNT
		QUERYEXIT
		;
};

driver osscore
{
	system
		PRIVCTL		#  4
		DEVIO		# 21
		UMAP		# 14
		IRQCTL		# 19
		DEVIO		# 21
		SDEVIO		# 22
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		PROFBUF		# 38
		SYSCTL
	;
	pci class	
		4/1		# Multimedia / Audio device
	;
	ipc
		SYSTEM PM RS LOG TTY DS VFS VM
		pci inet amddev 
		;
	uid     0;
};

driver filter
{
	system
		SETALARM	# 24
		TIMES		# 25
		GETINFO		# 26
		SAFECOPYFROM	# 31
		SAFECOPYTO	# 32
		SETGRANT	# 34
		SYSCTL		# 44
	;
	ipc
		SYSTEM PM VFS RS DS VM
		at_wini
		bios_wini
	;
	control
		at_wini
		bios_wini
	;
};