From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <7871fcf50612131755v40649c17x434e09bd165a6a2e@mail.gmail.com>
Date: Wed, 13 Dec 2006 20:55:23 -0500
From: "Joel Salomon" <joelcsalomon@gmail.com>
To: "Fans of the OS Plan 9 from Bell Labs" <9fans@cse.psu.edu>
Subject: [9fans] pccpu vs pccpuf vs...
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Topicbox-Message-UUID: f4617956-ead1-11e9-9d60-3106f5b1d025

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?

--Joel