echo "dev/tdfx/tdfx_pci.c	optional tdfx pci" >> /usr/src/sys/conf/files.i386
echo "TDFX_VERBOSE	opt_tdfx.h" >> /usr/src/sys/conf/options.i386