rename pcf kernel to pc, remove pcf, pccpuf, pccpu64 kernels, update documentation

there isnt much of a point in keep maintaining separate
kernel configurations for terminal and cpu kernels as
the role can be switched with service=cpu boot parameter.

to make stuff cosistent, we will just have one "pc" kernel
and one "pc64" kernel configuration now.

6 files changed, 9 insertions, 310 deletions

diff --git a/sys/src/9/pc/mkfile b/sys/src/9/pc/mkfile
index 51e5d7e4a..7aac934cc 100644
--- a/sys/src/9/pc/mkfile
+++ b/sys/src/9/pc/mkfile
@@ -1,6 +1,5 @@
-CONF=pcf
-CONFLIST=pcf pccpuf
-CRAPLIST=pc pccpu pccd pcflop
+CONF=pc
+CONFLIST=pc pcf pccpuf
 EXTRACOPIES=
 #EXTRACOPIES=lookout boundary	# copy to these servers on install
 
diff --git a/sys/src/9/pc/pcf b/sys/src/9/pc/pc
index 665b6dd81..665b6dd81 100644
--- a/sys/src/9/pc/pcf
+++ b/sys/src/9/pc/pc
diff --git a/sys/src/9/pc/pccpuf b/sys/src/9/pc/pccpuf
deleted file mode 100644
index 1f1011942..000000000
--- a/sys/src/9/pc/pccpuf
+++ /dev/null
@@ -1,152 +0,0 @@
-# pccpuf - pc cpu server with local disk
-dev
-	root
-	cons
-	arch
-	pnp		pci
-	env
-	pipe
-	proc
-	mnt
-	srv
-	shr
-	dup
-	rtc
-	ssl
-	tls
-	bridge		log
-	sdp		thwack unthwack
-	cap
-	kprof
-	fs
-
-	ether		netif
-	ip		arp chandial ip ipv6 ipaux iproute netlog nullmedium pktmedium ptclbsum386 inferno
-
-	draw		screen vga vgax swcursor
-	mouse		mouse
-	kbd
-	vga
-
-	sd
-	audio		dma
-	floppy		dma
-	aoe
-
-	uart
-	usb
-
-link
-	segdesc
-	devpccard
-	devi82365
-	cputemp
-	apm		apmjump
-	ether2000	ether8390
-	ether2114x	pci
-	ether589	etherelnk3
-	ether79c970	pci
-	ether8003	ether8390
-	ether8139	pci
-	ether8169	pci ethermii
-	ether82543gc	pci
-	ether82563	pci
-	ether82557	pci
-	ether82598	pci
-	ether83815	pci
-	etherdp83820	pci
-	etherbcm	pci
-	etherec2t	ether8390
-	etherelnk3	pci
-	etherga620	pci
-	etherigbe	pci ethermii
-	ethervgbe	pci ethermii
-	ethervt6102	pci ethermii
-	ethervt6105m	pci ethermii
-#	etherm10g	pci
-	ethersink
-	ethersmc	devi82365 cis
-	etheryuk	pci
-	etherwavelan	wavelan devi82365 cis pci
-	etheriwl	pci wifi
-	etherwpi	pci wifi
-	etherrt2860	pci wifi
-	ethervirtio	pci
-	ethermedium
-	netdevmedium
-	loopbackmedium
-	usbuhci
-	usbohci
-	usbehci		usbehcipc
-
-	audiosb16	dma
-	audioac97	audioac97mix
-	audiohda
-
-misc
-	archacpi	mp apic squidboy
-	archmp		mp apic squidboy
-	mtrr
-	ec
-
-	uarti8250
-	uartisa
-	uartpci		pci
-
-	sdaoe
-	sdide		pci sdscsi
-	sd53c8xx	pci sdscsi
-	sdmylex		pci sdscsi
-	sdiahci		pci sdscsi led
-	sdodin		pci sdscsi led
-	sdvirtio	pci sdscsi
-	sdmmc		pci pmmc
-	sdnvme		pci
-	sdloop
-
-	vga3dfx		+cur
-	vgaark2000pv	+cur
-	vgabt485	=cur
-	vgaclgd542x	+cur
-	vgaclgd546x	+cur
-	vgact65545	+cur
-	vgacyber938x	+cur
-	vgaet4000	+cur
-	vgageode	+cur
-	vgahiqvideo	+cur
-	vgai81x		+cur
-	vgaigfx		+cur
-	vgamach64xx	+cur
-	vgamga2164w	+cur
-	vgamga4xx	+cur
-	vganeomagic	+cur
-	vganvidia	+cur
-	vgaradeon	+cur
-	vgargb524	=cur
-	vgas3		+cur vgasavage
-	vgat2r4		+cur
-	vgatvp3020	=cur
-	vgatvp3026	=cur
-	vgavesa
-	vgavmware	+cur
-
-ip
-	tcp
-	udp
-	ipifc
-	icmp
-	icmp6
-	gre
-	ipmux
-	esp
-	rudp
-	il
-
-port
-	int cpuserver = 1;
-
-bootdir
-	/$objtype/bin/paqfs
-	/$objtype/bin/auth/factotum
-	bootfs.paq
-	boot
diff --git a/sys/src/9/pc64/pccpu64 b/sys/src/9/pc64/pccpu64
deleted file mode 100644
index d9f556499..000000000
--- a/sys/src/9/pc64/pccpu64
+++ /dev/null
@@ -1,148 +0,0 @@
-# pcf - pc terminal with local disk
-dev
-	root
-	cons
-	arch
-	pnp		pci
-	env
-	pipe
-	proc
-	mnt
-	srv
-	shr
-	dup
-	rtc
-	ssl
-	tls
-	cap
-	kprof
-	fs
-
-	ether		netif
-	ip		arp chandial ip ipv6 ipaux iproute netlog ethermedium nullmedium pktmedium inferno
-
-	draw		screen vga vgax swcursor
-	mouse		mouse
-	kbd
-	vga
-
-	sd
-#	floppy		dma
-	aoe
-#	lpt
-
-	audio		dma
-#	pccard
-#	i82365		cis
-	uart
-	usb
-
-link
-#	devpccard
-#	devi82365
-#	cputemp
-#	ether2000	ether8390
-#	ether2114x	pci
-#	ether589	etherelnk3
-	ether79c970	pci
-#	ether8003	ether8390
-	ether8139	pci
-#	ether8169	pci ethermii
-# should be obsoleted by igbe
-#	ether82543gc	pci
-#	ether82557	pci
-	ether82563	pci
-#	ether82598	pci
-#	ether83815	pci
-	etherbcm        pci
-#	etherdp83820	pci
-#	etherec2t	ether8390
-#	etherelnk3	pci
-#	etherga620	pci
-	etherigbe	pci ethermii
-#	ethervgbe	pci ethermii
-#	ethervt6102	pci ethermii
-#	ethervt6105m	pci ethermii
-#	ethersink
-#	ethersmc	devi82365 cis
-#	etheryuk	pci
-#	etherwavelan	wavelan devi82365 cis pci
-	etheriwl	pci wifi
-#	etherrt2860	pci wifi
-	ethervirtio	pci
-	ethermedium
-#	pcmciamodem
-	netdevmedium
-	loopbackmedium
-	usbuhci
-#	usbohci
-	usbehci		usbehcipc
-
-#	audiosb16	dma
-#	audioac97	audioac97mix
-	audiohda
-
-misc
-	archacpi	mp apic squidboy ec
-	archmp		mp apic squidboy
-	mtrr
-
-	sdaoe
-	sdide		pci sdscsi
-#	sd53c8xx	pci sdscsi
-#	sdmylex		pci sdscsi
-	sdiahci		pci sdscsi led
-#	sdodin		pci sdscsi led
-	sdvirtio	pci sdscsi
-	sdmmc		pci pmmc
-	sdloop
-
-	uarti8250
-#	uartisa
-#	uartpci		pci
-
-#	vga3dfx		+cur
-#	vgaark2000pv	+cur
-#	vgabt485	=cur
-#	vgaclgd542x	+cur
-#	vgaclgd546x	+cur
-#	vgact65545	+cur
-#	vgacyber938x	+cur
-#	vgaet4000	+cur
-#	vgageode	+cur
-#	vgahiqvideo	+cur
-#	vgai81x		+cur
-#	vgamach64xx	+cur
-#	vgamga2164w	+cur
-#	vgamga4xx	+cur
-#	vganeomagic	+cur
-#	vganvidia	+cur
-#	vgaradeon	+cur
-#	vgargb524	=cur
-#	vgas3		+cur vgasavage
-#	vgat2r4		+cur
-#	vgatvp3020	=cur
-#	vgatvp3026	=cur
-	vgavesa
-#	vgavmware	+cur
-
-ip
-	tcp
-	udp
-	rudp
-	ipifc
-	icmp
-	icmp6
-	gre
-	ipmux
-	esp
-	il
-
-port
-	int cpuserver = 1;
-
-bootdir
-	/$objtype/bin/paqfs
-	/$objtype/bin/auth/factotum
-	bootfs.paq
-	boot
diff --git a/sys/src/boot/efi/mkfile b/sys/src/boot/efi/mkfile
index 89ad24318..b19754d76 100644
--- a/sys/src/boot/efi/mkfile
+++ b/sys/src/boot/efi/mkfile
@@ -79,8 +79,8 @@ test.iso:D:	efiboot.fat
 	mkdir tmp/386
 	cp efiboot.fat tmp/386
 	cp /386/9bootiso tmp/386
-	cp /386/9pcf tmp/386
-	echo 'bootfile=/386/9pcf' >tmp/cfg/plan9.ini
+	cp /386/9pc tmp/386
+	echo 'bootfile=/386/9pc' >tmp/cfg/plan9.ini
 	disk/mk9660 -B 386/9bootiso -E 386/efiboot.fat -p <{echo +} -s tmp $target
 	rm -r tmp
 
@@ -95,8 +95,8 @@ test.fat:D:	bootia32.efi bootx64.efi
 	mkdir /n/esp/efi/boot
 	cp bootia32.efi /n/esp/efi/boot
 	cp bootx64.efi /n/esp/efi/boot
-	cp /386/9pcf /n/esp
-	echo 'bootfile=9pcf' >/n/esp/plan9.ini
+	cp /386/9pc /n/esp
+	echo 'bootfile=9pc' >/n/esp/plan9.ini
 	unmount /n/esp
 	rm /srv/$s
 
diff --git a/sys/src/boot/pc/mkfile b/sys/src/boot/pc/mkfile
index c5b00d246..ae9e90735 100644
--- a/sys/src/boot/pc/mkfile
+++ b/sys/src/boot/pc/mkfile
@@ -62,7 +62,7 @@ test.iso: 9bootiso 9boothyb 9bootfat mbr pbs
 	mkdir tmp/386
 	mkdir tmp/cfg
 	cp 9bootiso tmp/386
-	cp /386/9pcf tmp/386
+	cp /386/9pc tmp/386
 	cp /sys/lib/dist/cfg/plan9.ini tmp/cfg/plan9.ini
 	echo wait >>tmp/cfg/plan9.ini
 	disk/mk9660 -B 386/9bootiso -p <{echo +} -s tmp $target
@@ -86,8 +86,8 @@ test.dsk: 9bootfat mbr pbs test.iso
 	mkdir tmp
 	cp test.iso 9bootfat tmp
 	mkdir tmp/386
-	cp /386/9pcf tmp/386
-	echo 'bootfile=/386/9pcf' >tmp/plan9.ini
+	cp /386/9pc tmp/386
+	echo 'bootfile=/386/9pc' >tmp/plan9.ini
 	dd -if /dev/zero -of $target -bs 512 -count 32768
 	disk/partfs -m /n/$target $target
 	disk=/n/$target/sdXX