xref: /plan9/sys/src/9/pc/pcflop (revision 2379e85e2013a84de9f3c5345f96bc3371a11068)
1# tiny kernel used to install from floppy
2dev
3	root
4	cons
5
6	arch
7	pnp		pci
8	env
9	pipe
10	proc
11	mnt
12	srv
13	dup
14	rtc
15#	ssl
16#	tls
17	cap
18#	kprof
19
20	ether		netif
21	ip		arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno
22
23	draw		screen vga vgax
24	mouse		mouse
25	vga
26	kbmap
27
28	sd
29	floppy		dma
30#	lpt
31
32#	audio		dma
33	pccard
34	i82365		cis
35	uart
36#	usb
37#	kbin
38
39link
40	realmode
41	devpccard
42	devi82365
43#	apm		apmjump
44	ether2000	ether8390
45	ether2114x	pci
46	ether589	etherelnk3
47	ether79c970	pci
48	ether8003	ether8390
49	ether8139	pci
50	ether8169	pci ethermii
51	ether82543gc	pci
52#	ether82563	pci
53	ether82557	pci
54	ether83815	pci
55	etherdp83820	pci
56	etherec2t	ether8390
57	etherelnk3	pci
58	etherga620	pci
59	etherigbe	pci ethermii
60	ethervgbe	pci ethermii
61	ethervt6102	pci ethermii
62#	ethervt6105m	pci ethermii
63#	ethersink
64	ethersmc	devi82365 cis
65	etherwavelan	wavelan devi82365 cis pci
66	ethermedium
67#	etherm10g
68#	ether82598	pci
69	pcmciamodem
70	netdevmedium
71	loopbackmedium
72#	usbuhci
73#	usbohci
74#	usbehci
75
76misc
77#	archmp		mp apic
78
79	sdata		pci sdscsi
80	sd53c8xx	pci sdscsi
81	sdmylex		pci sdscsi
82#	sdiahci		pci sdscsi
83
84	uarti8250
85#	uartpci		pci
86
87	vga3dfx		+cur
88	vgaark2000pv	+cur
89	vgabt485	=cur
90	vgaclgd542x	+cur
91	vgaclgd546x	+cur
92	vgact65545	+cur
93	vgacyber938x	+cur
94	vgaet4000	+cur
95	vgahiqvideo	+cur
96	vgai81x		+cur
97	vgamach64xx	+cur
98	vgamga2164w	+cur
99	vgamga4xx	+cur
100	vganeomagic	+cur
101	vganvidia	+cur
102	vgargb524	=cur
103	vgas3		+cur vgasavage
104	vgat2r4		+cur
105	vgatvp3020	=cur
106	vgatvp3026	=cur
107	vgavesa
108	vgavmware	+cur
109
110ip
111	tcp
112	udp
113	ipifc
114	icmp
115	icmp6
116
117port
118	int cpuserver = 0;
119
120boot glenda boot #f/fd0disk
121	local
122
123bootdir
124	bootpcflop.out boot
125	/sys/lib/dist/bin/386/bzfs kfs
126	/sys/lib/dist/pc/root.bz2 bzroot
127#	/386/bin/usb/usbd
128