Package: bootdisk Version: Sept 16 The September 16 pre-release boot disk displays the following message on non-PCI systems: No BIOS32 extensions present. This release still depends on it. Sorry. This message may confuse people who do not realize that it is only relevant to PCI machines. -- Brian Johnson - Brian_Johnson@hmc.edu