What is the difference between all the kernel configurations? I know
pccpu is for a cpu server and pccpuf is for a cpu server with fossil,
but there seem to be other ifferneces (vga, mouse) than seem required
for fossil use. Is pccpu just older and out-of-date? If so, why is
the 9pccpu kernel pre-compiled in /386 and not the 9pccpuf?